BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
design (187)
use (163)
explor (146)
time (143)
base (122)

Stem space$ (all stems)

1461 papers:

ECSAECSA-2015-BaresiS #approach #architecture
An Architecture-Centric Approach for Dynamic Smart Spaces (LB, AS), pp. 277–284.
WICSAWICSA-2015-ZimmermannWKG #architecture #in the cloud #modelling #problem
Architectural Decision Guidance Across Projects — Problem Space Modeling, Decision Backlog Management and Cloud Computing Knowledge (OZ, LW, HK, TG), pp. 85–94.
CASECASE-2015-CarmenateRLBM #analysis #approach #behaviour #energy #modelling #using
Modeling and analyzing occupant behaviors in building energy analysis using an information space approach (TC, MMR, DL, LB, AM), pp. 425–431.
CASECASE-2015-LiuC #algorithm #evaluation #performance #quality #using
A fast algorithm for grasp quality evaluation using the object wrench space (SL, SC), pp. 558–563.
CASECASE-2015-LuoZHZ #modelling #synthesis
Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASECASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using
Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
DACDAC-2015-JiangWS #clustering #power management #sorting
A low power unsupervised spike sorting accelerator insensitive to clustering initialization in sub-optimal feature space (ZJ, QW, MS), p. 6.
DACDAC-2015-LukasiewyczSS #design #embedded #performance
Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DACDAC-2015-PapamichaelMH #algorithm #automation #design #named #performance #search-based #using
Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.
DACDAC-2015-SchatzVZ #automation #component #deployment
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
DATEDATE-2015-BerryhillV #automation #functional
Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATEDATE-2015-FernandoWNKC #agile #algorithm #design #synthesis #using
(AS)2: accelerator synthesis using algorithmic skeletons for rapid design space exploration (SF, MW, CN, AK, HC), pp. 305–308.
DATEDATE-2015-KhanhSKA #dependence #design #synthesis
Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis (PNK, AKS, AK, KMMA), pp. 157–162.
HTHT-2015-WeningerJG #case study #random
Random Voting Effects in Social-Digital Spaces: A Case Study of Reddit Post Submissions (TW, TJJ, MG), pp. 293–297.
PODSPODS-2015-RahulT #2d #on the
On Top-k Range Reporting in 2D Space (SR, YT), pp. 265–275.
VLDBVLDB-2015-KhayyatLSOPQ0K #difference #performance
Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
ICPCICPC-2015-SunshineHA #api #protocol #usability
Searching the state space: a qualitative study of API protocol usability (JS, JDH, JA), pp. 82–93.
ICSMEICSME-2015-SharmaTL #question #re-engineering #twitter #what
What’s hot in software engineering Twitter space? (AS, YT, DL), pp. 541–545.
STOCSTOC-2015-BhattacharyaHNT #algorithm #maintenance
Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams (SB, MH, DN, CET), pp. 173–182.
STOCSTOC-2015-BourgainDN #formal method #reduction #towards
Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.
STOCSTOC-2015-GiakkoupisHHW
Test-and-Set in Optimal Space (GG, MH, LH, PW), pp. 615–623.
DLTDLT-2015-Yamakami #bound #complexity #quantum
Complexity Bounds of Constant-Space Quantum Computation — (Extended Abstract) (TY), pp. 426–438.
ICALPICALP-v1-2015-BeameLP #bound
Finding the Median (Obliviously) with Bounded Space (PB, VL, MP), pp. 103–115.
ICALPICALP-v1-2015-FominKLPS #algorithm #polynomial
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.
ICALPICALP-v1-2015-GaspersS #algorithm #performance #set
Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets (SG, GBS), pp. 567–579.
ICALPICALP-v1-2015-MouawadNPR #configuration management
Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (AEM, NN, VP, VR), pp. 985–996.
LATALATA-2015-PolicritiGP #linear
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
CHICHI-2015-BranhamK #collaboration #how
Collaborative Accessibility: How Blind and Sighted Companions Co-Create Accessible Home Spaces (SMB, SKK), pp. 2373–2382.
CHICHI-2015-DittmarH #design
Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.
CHICHI-2015-MiksikVLPNGHPIT #3d #interactive #recognition #scalability #semantics
The Semantic Paintbrush: Interactive 3D Mapping and Recognition in Large Outdoor Spaces (OM, VV, ML, RP, MN, SG, SLH, PP, SI, PHST), pp. 3317–3326.
CHICHI-2015-SamsonovTSKH #towards
You Can’t Smoke Here: Towards Support for Space Usage Rules in Location-aware Technologies (PAS, XT, JS, WK, BH), pp. 971–974.
CHICHI-2015-TungHWCLWVC #game studies
User-Defined Game Input for Smart Glasses in Public Space (YCT, CYH, HYW, SC, JWL, PJW, AV, MYC), pp. 3327–3336.
CHICHI-2015-YerousisARRRW #bound
Computer-Enabled Project Spaces: Connecting with Palestinian Refugees across Camp Boundaries (GPY, KA, TvR, DWR, MR, VW), pp. 3749–3758.
CSCWCSCW-2015-CarrollB #design #peer-to-peer
Creating Value Together: The Emerging Design Space of Peer-to-Peer Currency and Exchange (JMC, VB), pp. 1500–1510.
HCIDUXU-IXD-2015-AljohaniB #evaluation #heuristic #repository
Heuristic Evaluation of University Institutional Repositories Based on DSpace (MA, JB), pp. 119–130.
HCIDUXU-UI-2015-GrimaldiCM #communication #interface #named
CubeMate: A New Communication Device as Non-verbal Interface in a Shared Space (RG, VC, CMM), pp. 434–443.
HCIHCI-DE-2015-KitamuraJUIS #development
Development of Tidy-up Promotion System by Anthropomorphication of Shared Space (TK, TJ, MU, HI, HS), pp. 360–369.
HCIHCI-IT-2015-MontpellierJFGK #collaboration
Suturing Space: Tabletop Portals for Collaboration (EM, GLJ, OAF, JG, AK, NC, CR, TI, SXW), pp. 472–484.
HCIHIMI-IKC-2015-HaKKKLHKKKW #development
K-Culture Time Machine: Development of Creation and Provision Technology for Time-Space-Connected Cultural Contents (TH, YK, EK, KK, SL, SH, JIK, SK, JK, WW), pp. 428–435.
HCIHIMI-IKC-2015-KajitaTMI #3d #design #using
Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.
HCIHIMI-IKC-2015-KinoeM
Situational Transformation of Personal Space (YK, NM), pp. 15–24.
HCIHIMI-IKD-2015-UlbrichVSS #interactive #topic
Reading Through Graphics: Interactive Landscapes to Explore Dynamic Topic Spaces (EU, EEV, SS, VS), pp. 127–137.
AdaEuropeAdaEurope-2015-BalazsBBHKPRSSS
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission (AB, AB, HB, IH, OK, ZP, JR, WS, PS, JS, SS, LV), pp. 18–30.
ECIRECIR-2015-MogadalaR #correlation #multi #retrieval
Multi-modal Correlated Centroid Space for Multi-lingual Cross-Modal Retrieval (AM, AR), pp. 68–79.
ICMLICML-2015-TanseyPSR #exponential #markov #product line #random
Vector-Space Markov Random Fields via Exponential Families (WT, OHMP, ASS, PR), pp. 684–692.
ICMLICML-2015-WangZ #clustering #named #parametricity
DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
KDDKDD-2015-YangH #learning #multi
Model Multiple Heterogeneity via Hierarchical Multi-Latent Space Learning (PY, JH), pp. 1375–1384.
RecSysRecSys-2015-SongCL #incremental #matrix #recommendation
Incremental Matrix Factorization via Feature Space Re-learning for Recommender System (QS, JC, HL), pp. 277–280.
ECMFAECMFA-J-2012-PfeifferW15 #design #development #multi
The design space of multi-language development environments (RHP, AW), pp. 383–411.
PPDPPPDP-2015-HaarPRV #algebra #concurrent #logic
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
PADLPADL-2015-BassedaK #logic #transaction #using
State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
POPLPOPL-2015-FarzanKP #bound #parallel #proving
Proof Spaces for Unbounded Parallelism (AF, ZK, AP), pp. 407–420.
POPLPOPL-2015-Greenberg #contract
Space-Efficient Manifest Contracts (MG), pp. 181–194.
SACSAC-2015-BuenoAFASC
Selfie cafe: socialization in public spaces (AOB, JCA, VF, JCA, CS, DC), pp. 163–168.
SACSAC-2015-DemuthRNHZE #framework #multi #named
DesignSpace: an infrastructure for multi-user/multi-tool engineering (AD, MRE, AN, PH, KZ, AE), pp. 1486–1491.
SACSAC-2015-LeeP #reduction
Search space reduction for electric vehicle-based tour schedules (JL, GLP), pp. 2075–2076.
ICSEICSE-v2-2015-Shahzada #development #framework
A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.
PLEASEPLEASE-2015-TzeremesG #approach #development #product line
A Software Product Line Approach for End User Development of Smart Spaces (VT, HG), pp. 23–26.
HPCAHPCA-2015-FujiwaraKOMC #network
Augmenting low-latency HPC network with free-space optical links (IF, MK, TO, HM, HC), pp. 390–401.
CAVCAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
CSLCSL-2015-Mazza
Simple Parsimonious Types and Logarithmic Space (DM), pp. 24–40.
ICSTICST-2015-MohacsiFB #case study #modelling #performance #testing
A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
LICSLICS-2015-PaulyB #set
Descriptive Set Theory in the Category of Represented Spaces (AP, MdB), pp. 438–449.
ICSTSAT-2015-HyvarinenMS #clustering #smt
Search-Space Partitioning for Parallelizing SMT Solvers (AEJH, MM, NS), pp. 369–386.
WICSAWICSA-2014-BabazadehP #design #distributed #framework
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
ASEASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based
Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
CASECASE-2014-ChenLY #distributed #modelling #network
Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASECASE-2014-YangWQZ #clustering #multi #scheduling #tool support
Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (FY, NW, YQ, MZ), pp. 75–80.
CASECASE-2014-YanZJCC #3d #metric
Hall-sensor-based orientation measurement method in three-dimensional space for electromagnetic actuators (LY, BZ, ZJ, CYC, IMC), pp. 182–187.
DACDAC-2014-KuanCHL #database #embedded #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DACDAC-2014-UbalSMGUCSK #design #performance #reliability
Exploring the Heterogeneous Design Space for both Performance and Reliability (RU, DS, PM, XG, YU, ZC, GS, DRK), p. 6.
DATEDATE-2014-GrafGTL #design #embedded #multi
Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATEDATE-2014-MarianiPZS #design #named #predict #scheduling #simulation #using
DeSpErate: Speeding-up design space exploration by using predictive simulation scheduling (GM, GP, VZ, CS), pp. 1–4.
DATEDATE-2014-RosvallS #constraints #design #framework #realtime
A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATEDATE-2014-VartziotisKCPJ #multi #optimisation #using
Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.
DATEDATE-2014-ZhangS #automation #design #specification
Automatic specification granularity tuning for design space exploration (JZ, GS), pp. 1–6.
DATEDATE-2014-ZuoloZMGICPOB #design #fine-grained #framework #named
SSDExplorer: A virtual platform for fine-grained design space exploration of Solid State Drives (LZ, CZ, RM, SG, MI, SDC, PP, PO, DB), pp. 1–6.
SIGMODSIGMOD-2014-ZaschkeZN #multi
The PH-tree: a space-efficient storage structure and multi-dimensional index (TZ, CZ, MCN), pp. 397–408.
VLDBVLDB-2015-SunWQZL14 #approximate #named #nearest neighbour #query
SRS: Solving c-Approximate Nearest Neighbor Queries in High Dimensional Euclidean Space with a Tiny Index (YS, WW, JQ, YZ, XL), pp. 1–12.
TACASTACAS-2014-WijsB #manycore #named #on the fly #using
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
ICSMEICSME-2014-WangLL #composition #debugging #locality #modelling
Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
PLDIPLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
PLDIPLDI-2014-Carbonneaux0RS #bound #c #source code #verification
End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
PLDIPLDI-2014-YangM #haskell
Dynamic space limits for Haskell (EZY, DM), p. 59.
STOCSTOC-2014-Belazzougui #linear
Linear time construction of compressed text indices in compact space (DB), pp. 148–193.
STOCSTOC-2014-BuhrmanCKLS #memory management
Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.
STOCSTOC-2014-Kane
The average sensitivity of an intersection of half spaces (DMK), pp. 437–440.
DLTDLT-2014-ReinhardtY
The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALPICALP-v2-2014-DerevenetcM #robust
Robustness against Power is PSpace-complete (ED, RM), pp. 158–170.
LATALATA-2014-BestD #bound #graph #petri net
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
GRAPHITEGRAPHITE-2014-SenniS #knowledge base #reduction
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
CHICHI-2014-AlperRH #case study #diagrams #visual notation
Structuring the space: a study on enriching node-link diagrams with visual references (BA, NHR, TH), pp. 1825–1834.
CHICHI-2014-CohenDMHT #named #visual notation
OneSpace: shared visual scenes for active freeplay (MC, KRD, HM, SEH, AT), pp. 2177–2180.
CHICHI-2014-GohCTTS #collaboration #design #framework #game studies #interactive
The MOY framework for collaborative play design in integrated shared and private interactive spaces (WBG, MC, CHT, JT, WS), pp. 391–400.
CHICHI-2014-SeokWL #design #experience #user interface
Non-finito products: a new design space of user creativity for personal user experience (JS, JbW, YKL), pp. 693–702.
CHICHI-2014-ShklovskiMSB #mobile #privacy
Leakiness and creepiness in app space: perceptions of privacy and mobile app use (IS, SDM, HHS, HB), pp. 2347–2356.
CHICHI-2014-ValdesEGTSMUK #design #gesture #interactive
Exploring the design space of gestural interaction with active tokens through user-defined gestures (CV, DE, CG, ST, OS, AM, BU, MK), pp. 4107–4116.
CSCWCSCW-2014-BodenRSW #coordination
Articulation spaces: bridging the gap between formal and informal coordination (AB, FR, GS, VW), pp. 1120–1130.
CSCWCSCW-2014-HomanLTLS #social
Social structure and depression in TrevorSpace (CMH, NL, XT, MCL, VS), pp. 615–625.
CSCWCSCW-2014-KunertKBF #named
Photoportals: shared references in space and time (AK, AK, SB, BF), pp. 1388–1399.
CSCWCSCW-2014-LeeT
Sounds of silence: exploring contributions to conversations, non-responses and the impact of mediating technologies in triple space (JSL, DGT), pp. 1561–1572.
HCIDHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance
COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
HCIDUXU-DI-2014-FrankjaerG #hybrid #network #smarttech
Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
HCIDUXU-DI-2014-Schranz #artificial reality #design #hybrid #physics
Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.
HCIDUXU-TMT-2014-NieminenRTN #analysis #collaboration #industrial #information management
Collaboration Space for Creative Knowledge Work — Analysis of Industrial Pilots (MPN, MR, MT, MN), pp. 653–662.
HCIHCI-AIMT-2014-BomsdorfB #3d #design #interactive #prototype
Early Prototyping of 3D-Gesture Interaction within the Presentation-Gesture-Dialog Design Space (BB, RB), pp. 12–23.
HCIHCI-AIMT-2014-JohnsonMV #corpus #user interface
Harmonic Navigator: An Innovative, Gesture-Driven User Interface for Exploring Harmonic Spaces in Musical Corpora (DJ, BZM, YV), pp. 58–68.
HCIHCI-AS-2014-ArakelyanL #design
Situating a Design Space for Sustainable Software Appropriation (AA, DRL), pp. 665–673.
HCIHCI-TMT-2014-ZhangFFHR #interactive
Scripting Interactive Art Installations in Public Spaces (YZ, JWF, MF, JH, MR), pp. 157–166.
HCIHIMI-AS-2014-IizukaG #mobile #using
Basic Study on Personal Space while Using Mobile Devices in Public (SI, KG), pp. 404–412.
HCIHIMI-AS-2014-LiHFWTNHT
Digital Museums of Cultural Heritages in Kyoto: The Gion Festival in a Virtual Space (LL, KH, TF, WW, ST, TN, KH, HTT), pp. 523–534.
HCIHIMI-AS-2014-MoorthyV
Voice Activated Personal Assistant: Acceptability of Use in the Public Space (AEM, KPLV), pp. 324–334.
HCILCT-NLE-2014-IbanezN #analysis #architecture #interactive
An Interactive Installation for the Architectural Analysis of Space and Form in Historical Buildings (LAHI, VBN), pp. 43–52.
HCISCSM-2014-LeeLS #approach #network #social
A New Approach to Exploring Spatiotemporal Space in the Context of Social Network Services (JGL, KCL, DHS), pp. 221–228.
VISSOFTVISSOFT-2014-HaugenK #constraints #visualisation
Search Space Pruning Constraints Visualization (BH, JK), pp. 30–39.
CIKMCIKM-2014-BoghCSA #data type #named
Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKMCIKM-2014-EickhoffV #modelling
Modelling Complex Relevance Spaces with Copulas (CE, APdV), pp. 1831–1834.
CIKMCIKM-2014-LimCK #data type #performance
Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKMCIKM-2014-QinSFZW #3d #linked data #open data
Indexing Linked Data in a Wireless Broadcast System with 3D Hilbert Space-Filling Curves (YQ, QZS, NJGF, WEZ, HW), pp. 1775–1778.
CIKMCIKM-2014-RenTOS #how #people #scalability #web
How People Use the Web in Large Indoor Spaces (YR, MT, KO, MS), pp. 1879–1882.
ECIRECIR-2014-BrucatoM #information retrieval #metric
Metric Spaces for Temporal Information Retrieval (MB, DM), pp. 385–397.
ECIRECIR-2014-GoswamiMGAM #information retrieval
Exploring the Space of IR Functions (PG, SM, ÉG, MRA, FM), pp. 372–384.
ICMLICML-c2-2014-Kontorovich #algorithm #bound #metric
Concentration in unbounded metric spaces and algorithmic stability (AK), pp. 28–36.
ICMLICML-c2-2014-LinDH0 #classification #encoding #multi
Multi-label Classification via Feature-aware Implicit Label Space Encoding (ZL, GD, MH, JW), pp. 325–333.
ICPRICPR-2014-GubarevaSSLM #linear
Finding the Largest Hypercavity in a Linear Data Space (AG, VS, OS, AL, VM), pp. 4406–4410.
ICPRICPR-2014-KrawczykWC #classification #clustering #fuzzy
Weighted One-Class Classifier Ensemble Based on Fuzzy Feature Space Partitioning (BK, MW, BC), pp. 2838–2843.
ICPRICPR-2014-OuyangYLW #performance #robust
A FAST Extreme Illumination Robust Feature in Affine Space (PO, SY, LL, SW), pp. 2365–2370.
ICPRICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using
Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPRICPR-2014-ShivramRG #case study #comparative #identification #modelling #online
Data Sufficiency for Online Writer Identification: A Comparative Study of Writer-Style Space vs. Feature Space Models (AS, CR, VG), pp. 3121–3125.
ICPRICPR-2014-VaradarajanV #calculus #geometry #representation #visual notation
4D Space-Time Mereotopogeometry-Part Connectivity Calculus for Visual Object Representation (KMV, MV), pp. 4316–4321.
ICPRICPR-2014-VuEIYY #image #using
Segmenting Reddish Lesions in Capsule Endoscopy Images Using a Gastrointestinal Color Space (HV, TE, YI, YY, YY), pp. 3263–3268.
ICPRICPR-2014-WangYLZF #independence #recognition #using
Micro-expression Recognition Using Dynamic Textures on Tensor Independent Color Space (SW, WJY, XL, GZ, XF), pp. 4678–4683.
MLDMMLDM-2014-LarinSKKHC #classification #parametricity #representation #using
Parametric Representation of Objects in Color Space Using One-Class Classifiers (AL, OS, AK, SYK, SCH, BHC), pp. 300–314.
RecSysRecSys-2014-BachrachFGKKNP #recommendation #using
Speeding up the Xbox recommender system using a euclidean transformation for inner-product spaces (YB, YF, RGB, LK, NK, NN, UP), pp. 257–264.
SEKESEKE-2014-ZhuangZL #fine-grained #framework #layout #reuse #runtime
Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization (YZ, TZ, ZL), pp. 609–614.
OOPSLAOOPSLA-2014-ZhouSGY #adaptation #multi #optimisation
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
QAPLQAPL-2014-KempfLM #design #formal method #manycore
Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
POPLPOPL-2014-EhrhardTP #probability
Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
SACSAC-2014-RaigozaS
Temporal join processing with hilbert curve space mapping (JR, JS), pp. 839–844.
ICSEICSE-2014-XiaoCK #architecture #design
Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
SPLCSPLC-2014-SeidlSA #product line #variability
Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
ASPLOSASPLOS-2014-PichaiHB #architecture #cpu #design #memory management
Architectural support for address translation on GPUs: designing memory management units for CPU/GPUs with unified address spaces (BP, LH, AB), pp. 743–758.
LCTESLCTES-2014-ChandramohanO #clustering #design #energy #source code
Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration (KC, MFPO), pp. 73–82.
LICSLICS-CSL-2014-LicataF #type system
Eilenberg-MacLane spaces in homotopy type theory (DRL, EF), p. 9.
RTARTA-TLCA-2014-AubertB #unification
Unification and Logarithmic Space (CA, MB), pp. 77–92.
ASEASE-2013-ChandramohanTBSP #approach #behaviour #bound #detection #modelling #scalability
A scalable approach for malware detection through bounded feature space behavior modeling (MC, HBKT, LCB, LKS, BMP), pp. 312–322.
DACDAC-2013-DinakarraoWY #3d #multi #reduction
Peak power reduction and workload balancing by space-time multiplexing based demand-supply matching for 3D thousand-core microprocessor (SMPD, KW, HY), p. 6.
DACDAC-2013-LiuC #on the #synthesis
On learning-based methods for design-space exploration with high-level synthesis (HYL, LPC), p. 7.
DATEDATE-2013-ChandranSP #validation
Space sensitive cache dumping for post-silicon validation (SC, SRS, PRP), pp. 497–502.
DATEDATE-2013-DasKV13a #communication #design #energy #fault #manycore #migration
Communication and migration energy aware design space exploration for multicore systems with intermittent faults (AD, AK, BV), pp. 1631–1636.
DATEDATE-2013-SureshYOS #adaptation #multi #reduction
Adaptive reduction of the frequency search space for multi-vdd digital circuits (CKHS, EY, SO, OS), pp. 292–295.
ICDARICDAR-2013-DjeddiSSE #question #representation
Codebook for Writer Characterization: A Vocabulary of Patterns or a Mere Representation Space? (CD, IS, LSM, AE), pp. 423–427.
ICDARICDAR-2013-El-KorashyS #recognition #reduction
Search Space Reduction for Holistic Ligature Recognition in Urdu Nastalique Script (AEK, FS), pp. 1125–1129.
ICDARICDAR-2013-HedjamC #documentation #estimation #image #multi #representation
Ground-Truth Estimation in Multispectral Representation Space: Application to Degraded Document Image Binarization (RH, MC), pp. 190–194.
PODSPODS-2013-ChenM #classification #complexity #query
The fine classification of conjunctive queries and parameterized logarithmic space complexity (HC, MM), pp. 309–320.
SIGMODSIGMOD-2013-MoerkotteFE #on the
On the correct and complete enumeration of the core search space (GM, PF, ME), pp. 493–504.
SIGMODSIGMOD-2013-MukherjiLBWRWR #interactive #mining #named #parametricity
PARAS: interactive parameter space exploration for association rule mining (AM, XL, CRB, JW, EAR, MOW, CR), pp. 1017–1020.
VLDBVLDB-2013-DayanSBBB #algorithm #design #named
EagleTree: Exploring the Design Space of SSD-Based Algorithms (ND, MKS, MB, PB, LB), pp. 1290–1293.
VLDBVLDB-2013-LinMRRW #framework #mining #named #online #parametricity
PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
VLDBVLDB-2013-Rao0HT #keyword #named #performance
Bitlist: New Full-text Index for Low Space Cost and Efficient Keyword Search (WR, LC, PH, ST), pp. 1522–1533.
ESOPESOP-2013-HofmannR #analysis #automation #type inference
Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
STOCSTOC-2013-KalaiRR #bound
Delegation for bounded space (YTK, RR, RDR), pp. 565–574.
ICALPICALP-v1-2013-AustrinKKM #algorithm #set #trade-off
Space-Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm (PA, PK, MK, JM), pp. 45–56.
ICALPICALP-v1-2013-BauerCRW
Search-Space Size in Contraction Hierarchies (RB, TC, IR, DW), pp. 93–104.
ICALPICALP-v1-2013-BilleFGKSV
Sparse Suffix Tree Construction in Small Space (PB, JF, ILG, TK, BS, HWV), pp. 148–159.
ICALPICALP-v1-2013-GlasserNRSW #polynomial #reduction #set
Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions (CG, DTN, CR, ALS, MW), pp. 473–484.
ICALPICALP-v1-2013-MoruzN #algorithm #bound #random
Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms (GM, AN), pp. 757–768.
IFMIFM-2013-GavaFG #algorithm #deduction #verification
Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.
CHICHI-2013-AkpanMBH #interactive
Exploring the effects of space and place on engagement with an interactive installation (IA, PM, JB, DH), pp. 2213–2222.
CHICHI-2013-BranzelHHSKLM0B13a #named #smarttech #using
GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor (AB, CH, DH, DS, MK, PL, RM, SR, PB), pp. 725–734.
CHICHI-2013-HasanAI #mobile #named
Ad-binning: leveraging around device space for storing, browsing and retrieving mobile device content (KH, DA, PI), pp. 899–908.
CHICHI-2013-LeeOIB #2d #3d #interactive #named
SpaceTop: integrating 2D and spatial 3D interactions in a see-through desktop environment (JL, AO, HI, CNB), pp. 189–192.
CHICHI-2013-LetondalHLVC #design
Flights in my hands: coherence concerns in designing strip’tic, a tangible space for air traffic controllers (CL, CH, RL, JLV, SC), pp. 2175–2184.
CHICHI-2013-McPhersonGS
The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.
CHICHI-2013-SantosaCBS #editing #visual notation
Direct space-time trajectory control for visual media editing (SS, FC, RB, KS), pp. 1149–1158.
CHICHI-2013-SeguraWMJ #design #game studies #physics #social
The design space of body games: technological, physical, and social design (EMS, AW, JM, CJ), pp. 3365–3374.
CHICHI-2013-SutcliffeIFPSG #using
Improving digital handoff using the space above the table (SWTS, ZI, DRF, AP, IS, CG), pp. 735–744.
CHICHI-2013-WagnerNGHM #design #interactive #multi
Body-centric design space for multi-surface interaction (JW, MN, SG, SH, WEM), pp. 1299–1308.
CHICHI-2013-YooHWHF #co-evolution #design #evolution
A value sensitive action-reflection model: evolving a co-design space with stakeholder and designer prompts (DY, AH, JPW, DGH, BF), pp. 419–428.
CSCWCSCW-2013-AgustinaS13a #3d #collaboration #design #named
Xpointer: an x-ray telepointer for relaxed-space-time wysiwis and unconstrained collaborative 3d design systems (A, CS), pp. 729–740.
CSCWCSCW-2013-LopezB #community #online
Consequences of content diversity for online public spaces for local communities (CAL, BSB), pp. 673–682.
HCIDUXU-NTE-2013-CaladoSCC #artificial reality #bibliography #case study #interactive #perspective
Virtual Reality Applied to the Study of the Interaction between the User and the Built Space: A Literature Review (AVSC, MMS, FC, WC), pp. 345–351.
HCIDUXU-NTE-2013-WaldronS
Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
HCIDUXU-WM-2013-Huang #design #functional #interactive
Proactive Home Furnishings: Inspiring from Interactive Art for Designing Functional Aesthetics in a Space (SCCH), pp. 367–375.
HCIDUXU-WM-2013-KimJ13a #case study #difference #experience #user interface
A Study of the Satisfaction Level of User Experience in Digital Media Space Accordance with Differences in Flow Characteristic (YK, ECJ), pp. 515–524.
HCIHCI-III-2013-HilbornCEL #game studies
A Biofeedback Game for Training Arousal Regulation during a Stressful Task: The Space Investor (OH, HC, JE, CL), pp. 403–410.
HCIHCI-IMT-2013-BoyP
A Situation Awareness Assistant for Human Deep Space Exploration (GAB, DP), pp. 629–636.
HCIHCI-IMT-2013-DruryPKL #design #lessons learnt #visualisation
Decision Space Visualization: Lessons Learned and Design Principles (JLD, MSP, GLK, YL), pp. 658–667.
HCIHCI-UC-2013-HimmelZA #monitoring
From Living Space to Urban Quarter: Acceptance of ICT Monitoring Solutions in an Ageing Society (SH, MZ, KA), pp. 49–58.
HCIHIMI-D-2013-FukayaOKYOM #3d #case study
A Study on Selection Ability in the 3D Space by the Finger (JF, YO, HK, RY, MO, HM), pp. 30–36.
HCIHIMI-D-2013-KomineN #evaluation #optimisation #smarttech #user interface #visual notation
Optimization of GUI on Touchscreen Smartphones Based on Physiological Evaluation — Feasibility of Small Button Size and Spacing for Graphical Objects (SK, MN), pp. 80–88.
HCIHIMI-LCCB-2013-ItaiEM #design
Design of Space for Expression Media with the Use of Fog (SI, YE, YM), pp. 210–218.
HCIHIMI-LCCB-2013-KanegaeYYW #communication #game studies
Effects of a Communication with Make-Believe Play in a Real-Space Sharing Edutainment System (HK, MY, MY, TW), pp. 326–335.
HCIHIMI-LCCB-2013-NieminenTR #design #requirements
Digital War Room for Design — Requirements for Collocated Group Work Spaces (MPN, MT, MR), pp. 352–361.
HCIHIMI-LCCB-2013-TakadamaSHISHSY #comprehension #interactive #multi #towards
Towards Understanding of Relationship among Pareto Optimal Solutions in Multi-dimensional Space via Interactive System (KT, YS, TH, YI, KS, KH, HS, TY), pp. 137–146.
HCIHIMI-LCCB-2013-TyllinenN #collaboration #interactive #memory management
Supporting Group and Personal Memory in an Interactive Space for Collaborative Work (MT, MN), pp. 381–390.
HCIOCSC-2013-VillanuevaMTGHP #distributed #interactive
Context Management for RFID-Based Distributed Interaction Spaces (PGV, FAM, RT, JAG, AH, VMRP), pp. 355–364.
ECIRECIR-2013-MorenoD #clustering #image #interface #mobile #using #web
Using Text-Based Web Image Search Results Clustering to Minimize Mobile Devices Wasted Space-Interface (JGM, GD), pp. 532–544.
ICMLICML-c2-2013-HanczarN #clustering
Precision-recall space to correct external indices for biclustering (BH, MN), pp. 136–144.
ICMLICML-c3-2013-AlmingolML #behaviour #learning #multi
Learning Multiple Behaviors from Unlabeled Demonstrations in a Latent Controller Space (JA, LM, ML), pp. 136–144.
ICMLICML-c3-2013-BrechtelGD #incremental #learning #performance #representation
Solving Continuous POMDPs: Value Iteration with Incremental Learning of an Efficient Space Representation (SB, TG, RD), pp. 370–378.
ICMLICML-c3-2013-LeSS #named
Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.
ICMLICML-c3-2013-ZhangZWKYM #kernel
Covariate Shift in Hilbert Space: A Solution via Sorrogate Kernels (KZ, VWZ, QW, JTYK, QY, IM), pp. 388–395.
KDDKDD-2013-ChenXJ #modelling #multi #probability #sequence
Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDDKDD-2013-JhaSP #algorithm #performance #streaming #using
A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
KDDKDD-2013-WangMP #metric #scalability #similarity
Scalable all-pairs similarity search in metric spaces (YW, AM, SP), pp. 829–837.
KDIRKDIR-KMIS-2013-ChenYTH #behaviour #predict
The Disulfide Connectivity Prediction with Support Vector Machine and Behavior Knowledge Space (HYC, CBY, KTT, CYH), pp. 112–118.
SEKESEKE-2013-AndradeM #adaptation #architecture #design #feedback #self
Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S) (SSA, RJdAM), pp. 741–746.
SEKESEKE-2013-SilvaOL #declarative #explosion #modelling #problem #process
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S) (NCS, CALO, RMFL), pp. 26–29.
LOPSTRLOPSTR-2013-NishidaV #finite #representation
A Finite Representation of the Narrowing Space (NN, GV), pp. 54–71.
SACSAC-2013-AbrilNT #documentation #towards
Towards a private vector space model for confidential documents (DA, GNA, VT), pp. 944–945.
SACSAC-2013-AguiarFMH #communication #design #embedded #multi
Communication support at the OS level to enhance design space exploration in multiprocessed embedded systems (AA, SJF, FGM, FH), pp. 1555–1556.
ICSEICSE-2013-EsfahaniMR #architecture #named #nondeterminism
GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.
ICSEICSE-2013-Nadi #case study #open source #variability
A study of variability spaces in open source software (SN), pp. 1353–1356.
PPoPPPPoPP-2013-PadmanabhanCC #composition #streaming
Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.
PPoPPPPoPP-2013-ParkSI #concurrent #detection #scalability #source code
Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
CAVCAV-2013-BrimCDS #model checking #parametricity #probability #using
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
ISSTAISSTA-2013-KifetewPLOT #generative #orthogonal #testing
Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
LICSLICS-2013-Jacobs #logic
Measurable Spaces and Their Effect Logic (BJ0), pp. 83–92.
VMCAIVMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
DACDAC-2012-GuoYSCZ #classification #distance #metric
Improved tangent space based distance metric for accurate lithographic hotspot classification (JG, FY, SS, CC, XZ), pp. 1173–1178.
DACDAC-2012-HuangCTCK #design #generative #named #novel
Attackboard: a novel dependency-aware traffic generator for exploring NoC design space (YSCH, YCC, TCT, YYC, CTK), pp. 376–381.
DATEDATE-2012-MarianiSPZSB #architecture #configuration management #design #multi #resource management #runtime #using
Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures (GM, VMS, GP, VZ, CS, KB), pp. 1379–1384.
DATEDATE-2012-PiscitelliP #analysis #design #hybrid
Design space pruning through hybrid analysis in system-level design space exploration (RP, ADP), pp. 781–786.
DATEDATE-2012-PomataMTRL #design #performance
Exploiting binary translation for fast ASIP design space exploration on FPGAs (SP, PM, GT, LR, ML), pp. 566–569.
DATEDATE-2012-WangKAAW #design #energy #optimisation
Response-surface-based design space exploration and optimisation of wireless sensor nodes with tunable energy harvesters (LW, TJK, BMAH, MA, JW), pp. 733–738.
PODSPODS-2012-GrossiO #maintenance #sequence #string
The wavelet trie: maintaining an indexed sequence of strings in compressed space (RG, GO), pp. 203–214.
PODSPODS-2012-McGregorPTW #estimation #statistics
Space-efficient estimation of statistics over sub-sampled streams (AM, AP, ST, DPW), pp. 273–282.
PODSPODS-2012-Nekrich #category theory
Space-efficient range reporting for categorical data (YN), pp. 113–120.
PODSPODS-2012-XuT #clustering #on the
On the optimality of clustering properties of space filling curves (PX, ST), pp. 215–224.
VLDBVLDB-2012-SilvaP #database #metric #similarity
Exploiting Database Similarity Joins for Metric Spaces (YNS, SP), pp. 1922–1925.
ESOPESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
CSMRCSMR-2012-MurtazaSHC #comparison #identification #kernel #on the
On the Comparison of User Space and Kernel Space Traces in Identification of Software Anomalies (SSM, AS, AHL, MC), pp. 127–136.
STOCSTOC-2012-BansalBJK #trade-off
Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.
STOCSTOC-2012-BeameBI #bound #trade-off
Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.
STOCSTOC-2012-HuynhN #communication #complexity #on the #proving #trade-off
On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
DLTDLT-2012-SaloT #geometry
Geometry and Dynamics of the Besicovitch and Weyl Spaces (VS, IT), pp. 465–470.
ICALPICALP-v1-2012-EmekHR
Space-Constrained Interval Selection (YE, MMH, AR), pp. 302–313.
LATALATA-2012-Axelsen #automaton #finite #multi
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (HBA), pp. 95–105.
LATALATA-2012-Cervelle
Covering Space in the Besicovitch Topology (JC), pp. 169–178.
GRAPHITEGRAPHITE-2012-ZambonR #graph
Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.
GT-VMTGT-VMT-2012-ArijoH #generative #graph transformation #modelling
View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
CHICHI-2012-ArroyoBV #behaviour #embedded #interactive
Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHICHI-2012-BardramGHN #collaboration #distributed #named
ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHICHI-2012-FallahABF #navigation #using #visual notation
The user as a sensor: navigating users with visual impairments in indoor spaces using tactile landmarks (NF, IA, KEB, EF), pp. 425–432.
CHICHI-2012-JavedGE #2d #multi #named #visual notation
Polyzoom: multiscale and multifocus exploration in 2d visual spaces (WJ, SG, NE), pp. 287–296.
CHICHI-2012-NobaranyORCMM #design #interface #metric #ranking #rating
The design space of opinion measurement interfaces: exploring recall support for rating and ranking (SN, LO, VKR, CHC, JM, TM), pp. 2035–2044.
CHICHI-2012-RasmussenPPH #bibliography #design #interface #open science #research
Shape-changing interfaces: a review of the design space and open research questions (MKR, EWP, MGP, KH), pp. 735–744.
CHICHI-2012-SlovakJF #comprehension #towards
Understanding heart rate sharing: towards unpacking physiosocial space (PS, JJ, GF), pp. 859–868.
CHICHI-2012-WilliamsonM
Rewarding the original: explorations in joint user-sensor motion spaces (JW, RMS), pp. 1717–1726.
CHICHI-2012-WisniewskiLW #bound
Fighting for my space: coping mechanisms for sns boundary regulation (PJW, HRL, DW), pp. 609–618.
CHICHI-2012-YataniBT #feedback #named #people #representation #using #visual notation
SpaceSense: representing geographical information to visually impaired people using spatial tactile feedback (KY, NB, KNT), pp. 415–424.
CSCWCSCW-2012-BaumerKFAGPRNOG #design #health #mobile #persuasion #social
Prescriptive persuasion and open-ended social awareness: expanding the design space of mobile health (EPSB, SJK, JEF, PA, ALG, JPP, DR, JN, CMO, GKG), pp. 475–484.
CSCWCSCW-2012-LiaoPZG #community
Your space or mine?: community management and user participation in a chinese corporate blogging community (QL, YP, MXZ, TG), pp. 315–324.
CIKMCIKM-2012-HuangQYY #algorithm #detection #robust
Local anomaly descriptor: a robust unsupervised algorithm for anomaly detection based on diffusion space (HH, HQ, SY, DY), pp. 405–414.
CIKMCIKM-2012-QiYZZ #mining #multi
Mining noisy tagging from multi-label space (ZQ, MY, Z(Z, ZZ), pp. 1925–1929.
CIKMCIKM-2012-WangSGM #adaptation #collaboration
Adapting vector space model to ranking-based collaborative filtering (SW, JS, BJG, JM), pp. 1487–1491.
CIKMCIKM-2012-YinPZH #multi #summary
Query-focused multi-document summarization based on query-sensitive feature space (WY, YP, FZ, LH), pp. 1652–1656.
ICMLICML-2012-BoydDPC #empirical #evaluation
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation (KB, JD, DP, VSC), p. 210.
ICMLICML-2012-DoppaFT #predict
Output Space Search for Structured Prediction (JRD, AF, PT), p. 107.
ICMLICML-2012-HartikainenSS #modelling #predict
State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICMLICML-2012-LiuL #modelling #multi #named
Sparse-GEV: Sparse Latent Space Model for Multivariate Extreme Value Time Serie Modeling (YL, MTB, HL), p. 156.
ICPRICPR-2012-ChenYY #analysis #null #recognition #scalability
Large margin null space discriminant analysis with applications to face recognition (XC, JY, WY), pp. 1679–1682.
ICPRICPR-2012-DuAL #evaluation #identification
Evaluation of color spaces for person re-identification (YD, HA, SL), pp. 1371–1374.
ICPRICPR-2012-LingZP #ranking #retrieval #similarity
Tri-space and ranking based heterogeneous similarity measure for cross-media retrieval (LL, XZ, YP), pp. 230–233.
ICPRICPR-2012-LiuW12a #feature model #kernel
Unsupervised discriminative feature selection in a kernel space via L2, 1-norm minimization (YL, YW), pp. 1205–1208.
ICPRICPR-2012-NaitoKSS #using
Deblurring depth blur and motion blur simultaneously by using space-time coding (RN, TK, FS, JS), pp. 2177–2180.
ICPRICPR-2012-OumerP #3d #estimation #image #using
3D point tracking and pose estimation of a space object using stereo images (NWO, GP), pp. 796–800.
ICPRICPR-2012-WangLNZ #image #retrieval
Local tangent space based manifold entropy for image retrieval (YW, HL, JN, LZ), pp. 262–265.
ICPRICPR-2012-XuGN #image #using
Morphological filtering in shape spaces: Applications using tree-based image representations (YX, TG, LN), pp. 485–488.
KDDKDD-2012-BoleyMG #linear #using
Linear space direct pattern sampling using coupling from the past (MB, SM, TG), pp. 69–77.
KEODKEOD-2012-FigueirasCPLJ #approach #collaboration #information retrieval
Information Retrieval in Collaborative Engineering Projects — A Vector Space Model Approach (PF, RC, LP, CL, RJG), pp. 233–238.
SEKESEKE-2012-BagheriSS #named #synthesis #trade-off
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
SEKESEKE-2012-NarataM #linear
Managing Linear Hash in a Closed Space (SN, TM), pp. 741–746.
SIGIRSIGIR-2012-ArroyueloGMOS #ranking #trade-off
To index or not to index: time-space trade-offs in search engines with positional ranking functions (DA, SG, MM, MO, TS), pp. 255–264.
POPLPOPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming
Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
RERE-2012-Ghazarian #functional #requirements #taxonomy
Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
SACSAC-2012-AvalhaisSRT #difference #image #retrieval #search-based
Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.
SACSAC-2012-BlankH #information retrieval #metric #multi #performance
Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
SACSAC-2012-CrassK #coordination #data access
A coordination-based access control model for space-based computing (SC, EK), pp. 1560–1562.
SACSAC-2012-KorahSS #framework #multi #realtime #scalability
Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SACSAC-2012-KuttyCN #modelling #recommendation #using
A people-to-people recommendation system using tensor space models (SK, LC, RN), pp. 187–192.
SACSAC-2012-MirizziNSR #recommendation #semantics #web
Web 3.0 in action: Vector Space Model for semantic (movie) Recommendations (RM, TDN, EDS, AR), pp. 403–405.
ICSEICSE-2012-Camilli #analysis #in the cloud #petri net
Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
PLEASEPLEASE-2012-FantGP #product line
Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.
PLEASEPLEASE-2012-LeitnerWK #multi #optimisation #problem
Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
ASPLOSASPLOS-2012-CaulfieldMEDCS #performance
Providing safe, user space access to fast, solid state disks (AMC, TIM, LAE, AD, JC, SS), pp. 387–400.
ASPLOSASPLOS-2012-ClementsKZ #scalability #using
Scalable address spaces using RCU balanced trees (ATC, MFK, NZ), pp. 199–210.
ISMMISMM-2012-LyberisPNSGS #memory management #message passing
The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces (SL, PP, DSN, MS, TG, BRdS), pp. 15–24.
LCTESLCTES-2012-ZuluagaKMP #design #predict
“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.
CAVCAV-2012-BogomolovFGLPW #analysis #distance #reachability
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
CAVCAV-2012-CimattiCLNRRST #industrial #validation #verification
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
CAVCAV-2012-PaulaHN #debugging #named #nondeterminism
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
CSLCSL-2012-Berardid #learning
Knowledge Spaces and the Completeness of Learning Strategies (SB, Ud), pp. 77–91.
ICLPICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using
Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICSTICST-2012-CadavidBS #bound #metamodelling #modelling
Searching the Boundaries of a Modeling Space to Test Metamodels (JJC, BB, HAS), pp. 131–140.
ICSTICST-2012-JagannathKLM #independence #metric
Evaluating Machine-Independent Metrics for State-Space Exploration (VJ, MK, YL, DM), pp. 320–329.
ICSTICST-2012-SegallTZ #combinator #modelling
Simplified Modeling of Combinatorial Test Spaces (IS, RTB, AZ), pp. 573–579.
ASEASE-2011-BokorKSS #partial order #reduction
Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ASEASE-2011-HegedusHRV #design #framework #modelling
A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.
ASEASE-2011-NguyenNANN #approach #debugging #topic
A topic-based approach for narrowing the search space of buggy files from a bug report (ATN, TTN, JMAK, HVN, TNN), pp. 263–272.
ASEASE-2011-ParizekL #identification #traversal
Identifying future field accesses in exhaustive state space traversal (PP, OL), pp. 93–102.
DACDAC-2011-IqbalSH #dependence #fault #monte carlo #named #power management #probability #scheduling
SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.
DACDAC-2011-LiuDPC #approximate #composition #design #set
Supervised design space exploration by compositional approximation of Pareto sets (HYL, ID, MP, LPC), pp. 399–404.
DACDAC-2011-PaulaNNOH #named
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
DATEDATE-2011-ChenZD #optimisation
Integrated circuit white space redistribution for temperature optimization (YC, HZ, RPD), pp. 613–618.
DATEDATE-2011-KhatibA #design #streaming
Buffering implications for the design space of streaming MEMS storage (MGK, LA), pp. 253–256.
DATEDATE-2011-WangKAWMA #energy #simulation #using
Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique (LW, TJK, BMAH, ASW, GVM, INAG), pp. 1267–1272.
DATEDATE-2011-WeisWLB #3d #design
Design space exploration for 3D-stacked DRAMs (CW, NW, IL, LB), pp. 389–394.
ICDARICDAR-2011-Epshtein #documentation #using
Determining Document Skew Using Inter-line Spaces (BE), pp. 27–31.
ICDARICDAR-2011-KimO #documentation #image #segmentation #using
Script-Free Text Line Segmentation Using Interline Space Model for Printed Document Images (MK, ISO), pp. 1354–1358.
ICDARICDAR-2011-KleberDS #estimation #using
Scale Space Binarization Using Edge Information Weighted by a Foreground Estimation (FK, MD, RS), pp. 1180–1184.
PODSPODS-2011-OrlandiV #estimation #string
Space-efficient substring occurrence estimation (AO, RV), pp. 95–106.
SIGMODSIGMOD-2011-DebnathSL #named #ram
SkimpyStash: RAM space skimpy key-value store on flash-based storage (BKD, SS, JL), pp. 25–36.
SIGMODSIGMOD-2011-SadoghiJ #named
BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
ITiCSEITiCSE-2011-HoverHR #collaboration #learning
A collaborative linked learning space (KMH, MH, GR), p. 380.
ITiCSEITiCSE-2011-HoverHRM #collaboration #how #learning #student
Evaluating how students would use a collaborative linked learning space (KMH, MH, GR, MM), pp. 88–92.
FoSSaCSFoSSaCS-2011-SchwinghammerBS #metric #recursion
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
WCREWCRE-2011-Raber #debugging #kernel #profiling
Stealthy Profiling and Debugging of Malware Trampolining from User to Kernel Space (JR), pp. 431–432.
PLDIPLDI-2011-DEliaDF #mining
Mining hot calling contexts in small space (DCD, CD, IF), pp. 516–527.
STOCSTOC-2011-ColeCGMO #coordination
Inner product spaces for MinSum coordination mechanisms (RC, JRC, VG, VSM, NO), pp. 539–548.
STOCSTOC-2011-KaneNPW #data type #estimation #performance
Fast moment estimation in data streams in optimal space (DMK, JN, EP, DPW), pp. 745–754.
STOCSTOC-2011-LeeS #bound
Near-optimal distortion bounds for embedding doubling spaces into L1 (JRL, AS), pp. 765–772.
ICALPICALP-v1-2011-DurocherHMNS #constant #linear
Range Majority in Constant Time and Linear Space (SD, MH, JIM, PKN, MS), pp. 244–255.
ICALPICALP-v1-2011-KawarabayashiKS #approximate #bound #distance #graph
Linear-Space Approximate Distance Oracles for Planar, Bounded-Genus and Minor-Free Graphs (KiK, PNK, CS), pp. 135–146.
ICALPICALP-v1-2011-NordstromR #on the #satisfiability #trade-off
On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution (JN, AAR), pp. 642–653.
LATALATA-2011-LisitsaPS #automaton
Planarity of Knots, Register Automata and LogSpace Computability (AL, IP, RS), pp. 366–377.
FMFM-2011-ZhangSPLD #on the #reduction
On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
CHICHI-2011-DiakopoulosKN #design
Playable data: characterizing the design space of game-y infographics (ND, FKS, MN), pp. 1717–1726.
CHICHI-2011-Gaver #design #how
Making spaces: how design workbooks work (WWG), pp. 1551–1560.
CHICHI-2011-IannacciTAP #feedback #interactive #multi #physics
The haptic laser: multi-sensation tactile feedback for at-a-distance physical space perception and interaction (FI, ET, DA, SNP), pp. 2047–2050.
CHICHI-2011-JudgeNHB #multi #product line
Family portals: connecting families through a multifamily media space (TKJ, CN, SH, ACB), pp. 1205–1214.
CHICHI-2011-WillettHHA #analysis #collaboration #named #visual notation
CommentSpace: structured support for collaborative visual analysis (WW, JH, JMH, MA), pp. 3131–3140.
HCIDUXU-v1-2011-PetrovicS #towards
Make Space for the Customer: The Shift towards Customer Centricity (KP, MS), pp. 485–490.
HCIDUXU-v2-2011-LeiZLC #interface #usability
Influencing Mechanism of Apparent Space Dimensions on Interface Aesthetics and Apparent Usability (TL, YZ, XL, XC), pp. 588–597.
HCIDUXU-v2-2011-SatoTO #case study #experience
Experience-Based Curiosity Model: Curiosity Extracting Model Regarding Individual Experiences of Urban Spaces (CS, ST, NO), pp. 635–644.
HCIHCI-ITE-2011-JokischBS #interactive #multi #testing #usability
Usability Testing of the Interaction of Novices with a Multi-touch Table in Semi Public Space (MJ, TB, AS), pp. 71–80.
HCIHCI-ITE-2011-WuJMM #framework
A Framework Interweaving Tangible Objects, Surfaces and Spaces (AW, JJ, SM, AM), pp. 148–157.
HCIHCI-MIIE-2011-LinCL #design #interactive
Designing Poetic Interaction in Space (YCL, HMC, RHL), pp. 559–568.
HCIHCI-MIIE-2011-RattanyuM #biology #recognition #using
Emotion Recognition Using Biological Signal in Intelligent Space (KR, MM), pp. 586–592.
HCIHCI-MIIE-2011-YuC #hybrid #interactive
Reacting with Care: The Hybrid Interaction Types in a Sensible Space (GJY, TWC), pp. 250–258.
HCIHIMI-v1-2011-OkaOKYM #3d #case study
A Study on Selection Ability in the 3D Space by the Finger (MO, YO, HK, RY, HM), pp. 488–497.
HCIHIMI-v2-2011-UesakaIY #visual notation
A Digital Archive System for Preserving Audio and Visual Space (MU, YI, TY), pp. 103–110.
HCIIDGD-2011-BrandND #embedded #interactive #network #social #using
Using Embedded Technology Badges to Derive Social Networks, Patterns of Interaction and Space Utilization in a Corporate Headquarters (JLB, GN, HD), pp. 353–360.
CAiSECAiSE-2011-BiderJS #architecture #case study #communication #experience #process #using
Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture (IB, PJ, RS), pp. 299–313.
ICEISICEIS-v1-2011-GongG #evaluation #internet #performance #research
Research on the Evaluation Index System and Method for Intelligent Performance of Smart Space based on Internet of Things Technology (XG, TG), pp. 301–307.
CIKMCIKM-2011-ChristoforakiHDMS #performance #query
Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKMCIKM-2011-MaZSDC #query
Matching query processing in high-dimensional space (CM, YZ, LS, DD, GC), pp. 1589–1594.
CIKMCIKM-2011-OttavianoG
Semi-indexing semi-structured data in tiny space (GO, RG), pp. 1485–1494.
CIKMCIKM-2011-QuC #probability
Sparse structured probabilistic projections for factorized latent spaces (XQ, XC), pp. 1389–1394.
CIKMCIKM-2011-XuSPZ #kernel #named #performance
TAKES: a fast method to select features in the kernel space (YX, FS, WP, JZ), pp. 683–692.
ICMLICML-2011-JetchevT #feedback #retrieval #using
Task Space Retrieval Using Inverse Feedback Control (NJ, MT), pp. 449–456.
ICMLICML-2011-SmallWBT #learning
The Constrained Weight Space SVM: Learning with Ranked Features (KS, BCW, CEB, TAT), pp. 865–872.
KDDKDD-2011-IfrimW #biology #bound #classification #coordination #predict #sequence
Bounded coordinate-descent for biological sequence classification in high dimensional predictor space (GI, CW), pp. 708–716.
KDDKDD-2011-ZhangLS #learning
Serendipitous learning: learning beyond the predefined label space (DZ, YL, LS), pp. 1343–1351.
KDIRKDIR-2011-OlegA #analysis #approach #clustering
Methods for Discovering and Analysis of Regularities Systems — Approach based on Optimal Partitioning of Explanatory Variables Space (OVS, AVK), pp. 423–426.
RecSysRecSys-2011-SekoYMM #behaviour #recommendation #representation #using
Group recommendation using feature space representing behavioral tendency and power balance among members (SS, TY, MM, SyM), pp. 101–108.
SIGIRSIGIR-2011-AnandBBS #performance
Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.
MODELSMoDELS-2011-DragoGM #model transformation #quality #towards
Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MODELSMoDELS-2011-DragoGM #model transformation #quality #towards
Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
POPLPOPL-2011-BenderskyP #bound #memory management
Space overhead bounds for dynamic memory management with partial compaction (AB, EP), pp. 475–486.
SACSAC-2011-BanZATK #mining
Mining interlacing manifolds in high dimensional spaces (TB, CZ, SA, TT, YK), pp. 942–949.
SACSAC-2011-KuoLC #algorithm #clustering #testing
Testing a binary space partitioning algorithm with metamorphic testing (FCK, SL, TYC), pp. 1482–1489.
SACSAC-2011-NardiniOV
Description spaces with fuzziness (EN, AO, MV), pp. 869–876.
SACSAC-2011-Sanchez-GilHO
Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.
SACSAC-2011-SchneiderPB #comprehension #wiki
Understanding and improving Wikipedia article discussion spaces (JS, AP, JGB), pp. 808–813.
SACSAC-2011-VandicDHF #approach #clustering #semantics
A semantic clustering-based approach for searching and browsing tag spaces (DV, JWvD, FH, FF), pp. 1693–1699.
ICSEICSE-2011-HardyBKW #development
Digitally annexing desk space for software development (JH, CB, GK, JW), pp. 812–815.
SPLCSPLC-2011-Hinchey #product line
Families (of Products) in Space (MH), pp. 8–9.
CGOCGO-2011-ParkPCCS #modelling #optimisation #predict
Predictive modeling in a polyhedral optimization space (EP, LNP, JC, AC, PS), pp. 119–129.
HPDCHPDC-2011-AlvarezBGMNA #design #replication
Design space exploration for aggressive core replication schemes in CMPs (LA, RB, MG, XM, NN, EA), pp. 269–270.
CAVCAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
CSLCSL-2011-CardelliLM #axiom #logic #markov #metric
Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
CSLCSL-2011-GroheGHL #logic #recursion
L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
LICSLICS-2011-EhrhardPT #probability
The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
ICSTSAT-2011-Minato #diagrams #named #performance #permutation #problem
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
VMCAIVMCAI-2011-FrohardtCS #modelling #physics
Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
CBSECBSE-2010-JensonDG #component #dependence #empirical
An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.
DACDAC-2010-MarianiBPJZS #design #multi
A correlation-based design space exploration methodology for multi-processor systems-on-chip (GM, AB, GP, JJ, VZ, CS), pp. 120–125.
DACDAC-2010-NalamBMC #design #optimisation #prototype
Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
DACDAC-2010-ZhangLH #analysis
Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis (YZ, PL, GMH), pp. 567–572.
DATEDATE-2010-AziziMSPH #architecture #design #framework
An integrated framework for joint design space exploration of microarchitecture and circuits (OA, AM, JPS, SJP, MH), pp. 250–255.
DATEDATE-2010-GaoH #geometry #optimisation #programming #using
A power optimization method for CMOS Op-Amps using sub-space based geometric programming (WG, RH), pp. 508–513.
DATEDATE-2010-GellertPZFVS #architecture #design #energy #predict #smt
Energy-performance design space exploration in SMT architectures exploiting selective load value predictions (AG, GP, VZ, AF, LNV, CS), pp. 271–274.
DATEDATE-2010-KoebelC #named
SCOC3: a space computer on a chip (FK, JFC), pp. 1345–1348.
DATEDATE-2010-LudoviciSGBB #design #effectiveness #flexibility
Design space exploration of a mesochronous link for cost-effective and flexible GALS NOCs (DL, AS, GNG, LB, DB), pp. 679–684.
DATEDATE-2010-MarianiAVYPSZ #design #framework #industrial #manycore #resource management #runtime
An industrial design space exploration framework for supporting run-time resource management on multi-core systems (GM, PA, GV, CYC, GP, CS, VZ), pp. 196–201.
DATEDATE-2010-Pignol
COTS-based applications in space avionics (MP), pp. 1213–1219.
DATEDATE-2010-VergariBSDZRC
A Smart Space application to dynamically relate medical and environmental information (FV, SB, FS, AD, GZ, LR, TSC), pp. 1542–1547.
DATEDATE-2010-YangGBSC #automation
Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
DRRDRR-2010-YinBA #classification #documentation #optimisation
Time and space optimization of document content classifiers (DY, HSB, CA), pp. 1–10.
VLDBVLDB-2011-LeeH10 #clustering #named #performance #using
QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
ITiCSEITiCSE-2010-DukielskaS #distributed #programming
JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.
ESOPESOP-2010-LagoS #functional #programming #sublinear
Functional Programming in Sublinear Space (UDL, US), pp. 205–225.
ICPCICPC-2010-ScannielloDDD #algorithm #clustering #using
Using the Kleinberg Algorithm and Vector Space Model for Software System Clustering (GS, AD, CD, TD), pp. 180–189.
ICSMEICSM-2010-Alves #assessment #maintenance
Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
PASTEPASTE-2010-MizushimaMY #constant #parsing
Packrat parsers can handle practical grammars in mostly constant space (KM, AM, YY), pp. 29–36.
SASSAS-2010-Lesens #question #static analysis #using #why
Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.
STOCSTOC-2010-DodisPT
Changing base without losing space (YD, MP, MT), pp. 593–602.
STOCSTOC-2010-LokshtanovN #algebra
Saving space by algebraization (DL, JN), pp. 321–330.
AFLAFL-J-2008-MalcherMP10 #array #bound
Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.
DLTDLT-2010-GeffertP #automaton
Two-Way Unary Automata versus Logarithmic Space (VG, GP), pp. 197–208.
ICALPICALP-v1-2010-BjorklundHKK #linear
Covering and Packing in Linear Space (AB, TH, PK, MK), pp. 727–737.
ICALPICALP-v1-2010-Ito #approximate #proving
Polynomial-Space Approximation of No-Signaling Provers (TI), pp. 140–151.
ICALPICALP-v1-2010-RubinfeldX #independence #testing
Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
ICALPICALP-v2-2010-BrazdilEKL #scheduling
Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
ICALPICALP-v2-2010-Goubault-Larrecq #verification
Noetherian Spaces in Verification (JGL), pp. 2–21.
CHICHI-2010-AndrewsEN #scalability
Space to think: large high-resolution displays for sensemaking (CA, AE, CN), pp. 55–64.
CHICHI-2010-FaridaniBRG #online #scalability
Opinion space: a scalable tool for browsing online comments (SF, EB, KR, KYG), pp. 1175–1184.
CHICHI-2010-JudgeNK #design #evaluation #product line
The family window: the design and evaluation of a domestic media space (TKJ, CN, AFK), pp. 2361–2370.
CHICHI-2010-ScupelliXFKG #aspect-oriented #coordination #physics
Supporting coordination in surgical suites: physical aspects of common information spaces (PS, YX, SRF, SBK, MDG), pp. 1777–1786.
CHICHI-2010-YooZST #co-evolution #comprehension #design #interactive
Understanding the space for co-design in riders’ interactions with a transit service (DY, JZ, AS, AT), pp. 1797–1806.
SOFTVISSOFTVIS-2010-ParninGR #interactive #maintenance #named #programming
CodePad: interactive spaces for maintaining concentration in programming environments (CP, CG, SR), pp. 15–24.
ICEISICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin
FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
CIKMCIKM-2010-AlmeidaTL #metric #named #performance #similarity
BP-tree: an efficient index for similarity search in high-dimensional metric spaces (JA, RdST, NJL), pp. 1365–1368.
CIKMCIKM-2010-BonifatiWL #distributed #named #peer-to-peer #privacy #social
SPac: a distributed, peer-to-peer, secure and privacy-aware social space (AB, WHW, RL), pp. 1953–1954.
CIKMCIKM-2010-FanWW #clustering #normalisation #performance #visual notation
Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
CIKMCIKM-2010-KatoOOT
Search as if you were in your home town: geographic search by regional context and dynamic feature-space selection (MPK, HO, SO, KT), pp. 1541–1544.
ICMLICML-2010-CoenAF #clustering
Comparing Clusterings in Space (MHC, MHA, NF), pp. 231–238.
ICMLICML-2010-SongSGS #markov #modelling
Hilbert Space Embeddings of Hidden Markov Models (LS, BB, SMS, GJG, AJS), pp. 991–998.
ICPRICPR-2010-BatesLM #representation
Scale-Space Spectral Representation of Shape (JB, XL, WM), pp. 2648–2651.
ICPRICPR-2010-BouboulisTS #image #kernel
Edge Preserving Image Denoising in Reproducing Kernel Hilbert Spaces (PB, ST, KS), pp. 2660–2663.
ICPRICPR-2010-ChenL #distance #recognition
Feature Space Hausdorff Distance for Face Recognition (SC, BCL), pp. 1465–1468.
ICPRICPR-2010-DurrantK #bound #performance
A Bound on the Performance of LDA in Randomly Projected Data Spaces (RJD, AK), pp. 4044–4047.
ICPRICPR-2010-FeragenLN
Fundamental Geodesic Deformations in Spaces of Treelike Shapes (AF, FL, MN), pp. 2089–2093.
ICPRICPR-2010-HassanCG #documentation #image #kernel #retrieval #using
Document Image Retrieval Using Feature Combination in Kernel Space (EH, SC, MG), pp. 2009–2012.
ICPRICPR-2010-HemerySR #authentication #case study #image
Study on Color Spaces for Single Image Enrolment Face Authentication (BH, JJS, CR), pp. 1249–1252.
ICPRICPR-2010-KamarainenI #canonical #detection #learning
Learning and Detection of Object Landmarks in Canonical Object Space (JKK, JI), pp. 1409–1412.
ICPRICPR-2010-KhreichGMS #classification
Boolean Combination of Classifiers in the ROC Space (WK, EG, AM, RS), pp. 4299–4303.
ICPRICPR-2010-KrishnanS #detection #using
Detecting Group Turn Patterns in Conversations Using Audio-Video Change Scale-Space (RK, SS), pp. 137–140.
ICPRICPR-2010-NicolaouGP #classification
Audio-Visual Classification and Fusion of Spontaneous Affective Data in Likelihood Space (MAN, HG, MP), pp. 3695–3699.
ICPRICPR-2010-QuWL #difference #image #recognition #using
Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
ICPRICPR-2010-ReckyL #detection #using
Windows Detection Using K-means in CIE-Lab Color Space (MR, FL), pp. 356–359.
ICPRICPR-2010-RichiardiVRB #classification #graph #sequence
Vector Space Embedding of Undirected Graphs with Fixed-cardinality Vertex Sequences for Classification (JR, DVDV, KR, HB), pp. 902–905.
ICPRICPR-2010-TsagkatakisS #distance #modelling #random #recognition
Manifold Modeling with Learned Distance in Random Projection Space for Face Recognition (GT, AES), pp. 653–656.
ICPRICPR-2010-ZouY #image #kernel #learning
Learning the Relationship Between High and Low Resolution Images in Kernel Space for Face Super Resolution (WWWZ, PCY), pp. 1152–1155.
KDDKDD-2010-FeiH #classification #functional #graph
Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.
KDIRKDIR-2010-NcirEB #clustering #kernel
Kernel Overlapping K-Means for Clustering in Feature Space (CEBN, NE, PB), pp. 250–255.
KRKR-2010-KontchakovPZ #logic
Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
RecSysRecSys-2010-Musto #modelling #recommendation
Enhanced vector space models for content-based recommender systems (CM), pp. 361–364.
SIGIRSIGIR-2010-RadovanovicNI #modelling #on the
On the existence of obstinate results in vector space models (MR, AN, MI), pp. 186–193.
MODELSMoDELS-v1-2010-SaxenaK #approach #design
MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.
SACSAC-PL-J-2008-BussBSE10 #analysis #debugging #novel #pointer
A novel analysis space for pointer analysis and its application for bug finding (MB, DB, VCS, SAE), pp. 921–942.
SACSAC-2010-ChenS #3d #interactive #matrix #modelling
Modeling cardinal directions in the 3D space with the objects interaction cube matrix (TC, MS), pp. 906–910.
SACSAC-2010-FautschS #adaptation #information retrieval
Adapting the tf idf vector-space model to domain specific information retrieval (CF, JS), pp. 1708–1712.
SACSAC-2010-Mohy-ud-DinM #detection #probability
Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps (HMuD, AM), pp. 1294–1298.
SACSAC-2010-ParizekY #component #interactive #traversal #using
Extraction of component-environment interaction model using state space traversal (PP, NY), pp. 2203–2210.
SACSAC-2010-RajgarhiaG #file system #performance
Performance and extension of user space file systems (AR, AG), pp. 206–213.
HPDCHPDC-2010-DocanPK #coordination #framework #interactive #named #simulation #workflow
DataSpaces: an interaction and coordination framework for coupled simulation workflows (CD, MP, SK), pp. 25–36.
HPDCHPDC-2010-HaraT #framework
A global address space framework for irregular applications (KH, KT), pp. 296–299.
ISMMISMM-2010-PetricekS
Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
ICSTICST-2010-FeldtTAR #challenge #industrial #process #validation #verification
Challenges with Software Verification and Validation Activities in the Space Industry (RF, RT, EA, BR), pp. 225–234.
LICSLICS-2010-Abramsky #algebra #physics
Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
WICSA-ECSAWICSA-ECSA-2009-KuhnMKSBT #aspect-oriented #performance
Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems (EK, RM, LK, CS, SB, ST), pp. 313–316.
ASEASE-2009-LauterburgDMA #framework #source code
A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.
ASEASE-2009-TaleghaniA #estimation
State-Space Coverage Estimation (AT, JMA), pp. 459–467.
CASECASE-2009-BountourelisR #algorithm #learning
Customized learning algorithms for episodic tasks with acyclic state spaces (TB, SR), pp. 627–634.
DACDAC-2009-XiongSZV #multi #process #statistics
Statistical multilayer process space coverage for at-speed test (JX, YS, VZ, CV), pp. 340–345.
DATEDATE-2009-AvnitS #approach #design #formal method #protocol
A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
DATEDATE-2009-BauerSH #architecture #configuration management #design
Cross-architectural design space exploration tool for reconfigurable processors (LB, MS, JH), pp. 958–963.
DATEDATE-2009-ChouM #design
User-centric design space exploration for heterogeneous Network-on-Chip platforms (CLC, RM), pp. 15–20.
DATEDATE-2009-HolstW #algorithm
A diagnosis algorithm for extreme space compaction (SH, HJW), pp. 1355–1360.
DATEDATE-2009-KahngLPS #design #performance
ORION 2.0: A fast and accurate NoC power and area model for early-stage design space exploration (ABK, BL, LSP, KS), pp. 423–428.
HTHT-2009-AbbasiS #folksonomy #modelling #named
RichVSM: enRiched vector space models for folksonomies (RA, SS), pp. 219–228.
HTHT-2009-Efimova
Weblog as a personal thinking space (LE), pp. 289–298.
PODSPODS-2009-BerindeCIS #bound #fault
Space-optimal heavy hitters with strong error bounds (RB, GC, PI, MJS), pp. 157–166.
SIGMODSIGMOD-2009-NicaBH #query #visualisation
Extreme visualisation of query optimizer search space (AN, DSB, DWH), pp. 1067–1070.
SIGMODSIGMOD-2009-ZhangMC #clustering #scalability #using
Scalable skyline computation using object-based space partitioning (SZ, NM, DWC), pp. 483–494.
VLDBVLDB-2009-HasanZ #graph
Output Space Sampling for Graph Patterns (MAH, MJZ), pp. 730–741.
VLDBVLDB-2009-WuXMH #analysis #multi
Promotion Analysis in Multi-Dimensional Space (TW, DX, QM, JH), pp. 109–120.
WRLAWRLA-2008-HassN09 #abstraction #equation
Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.
WRLAWRLA-2008-Rodriguez09
Combining Techniques to Reduce State Space and Prove Strong Properties (DER), pp. 267–280.
ESOPESOP-2009-SiekGT #design #higher-order
Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.
TACASTACAS-2009-MateescuW #adaptation
Hierarchical Adaptive State Space Caching Based on Level Sampling (RM, AW), pp. 215–229.
ICPCICPC-2009-GrantC #analysis
Vector space analysis of software clones (SG, JRC), pp. 233–237.
ICALPICALP-v1-2009-GuhaH #bound #order #random #theorem
Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams (SG, ZH), pp. 513–524.
ICALPICALP-v1-2009-Nederlof #algorithm #performance #problem #using
Fast Polynomial-Space Algorithms Using Möbius Inversion: Improving on Steiner Tree and Related Problems (JN), pp. 713–725.
LATALATA-2009-BoigelotD #automaton #finite #set #visualisation
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (BB, JFD), pp. 200–211.
LATALATA-2009-Jain #learning
Hypothesis Spaces for Learning (SJ), pp. 43–58.
LATALATA-2009-Llull-ChavarriaV #complexity #semantics #word
An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (JLC, OV), pp. 530–541.
CHICHI-2009-GonzalesFD #question
(Perceived) interactivity: does interactivity increase enjoyment and creative identity in artistic spaces? (ALG, TF, SPD), pp. 415–418.
CHICHI-2009-HarryGD #physics
backchan.nl: integrating backchannels in physical space (DH, JG, JSD), pp. 1361–1370.
CHICHI-2009-JiangVBLS #education #named
CThru: exploration in a video-centered information space for educational purposes (HJ, AV, MB, RAL, CS), pp. 1247–1250.
CHICHI-2009-LeonardiMNPZGC #functional
Knocking on elders’ door: investigating the functional and emotional geography of their domestic space (CL, CM, EN, FP, MZ, FG, AC), pp. 1703–1712.
CHICHI-2009-NakanishiMK #social
Movable cameras enhance social telepresence in media spaces (HN, YM, KK), pp. 433–442.
CHICHI-2009-WigdorJFBS #collaboration #deployment #design #development #multi #named #visual notation
WeSpace: the design development and deployment of a walk-up and share multi-surface visual collaboration system (DW, HJ, CF, MB, CS), pp. 1237–1246.
HCIDHM-2009-BensonR #complexity
Complexity of Sizing for Space Suit Applications (EB, SR), pp. 599–607.
HCIHCI-AUII-2009-FanS #3d #navigation #user interface #using
Pull and Push: Proximity-Aware User Interface for Navigating in 3D Space Using a Handheld Camera (MF, YS), pp. 133–140.
HCIHIMI-DIE-2009-KanaiOM #3d #physics
Manipulation with Fingers in a 3-D Physical Space (YK, MO, HM), pp. 515–523.
HCIHIMI-II-2009-RheeKKLC #communication
Expanding SNS Features with CE Devices: Space, Profile, Communication (YR, HK, YK, JL, IC), pp. 458–467.
HCIHIMI-II-2009-ShibuyaNMKT #3d #distance #empirical #evaluation #mobile
Empirical Evaluation of Throwing Method to Move Object for Long Distance in 3D Information Space on Mobile Device (YS, KN, KM, IK, YT), pp. 468–475.
HCIIDGD-2009-GurzickW #developer #online #social
Developers and Moderators: Observations in the Co-development of an Online Social Space (DG, KFW), pp. 164–172.
HCIOCSC-2009-CindioP #community #online #question
Are Online Communities Good for the Civic Audit of Public Spaces, Services, and Officers? (FdC, CP), pp. 673–681.
HCIOCSC-2009-MatsudaIY #design #interface #web
Web Interface for Designing and Sharing Sound Space (SM, SI, TY), pp. 374–380.
ICEISICEIS-DISI-2009-ClaypoolMHSR #integration #named
ESpace — Web-scale Integration One Step at a Time (KTC, JLM, DVH, MS, EAR), pp. 247–252.
ICEISICEIS-J-2009-ChenPZQ #case study #hybrid
A Study of Indexing Strategies for Hybrid Data Spaces (CC, SP, QZ, GQ), pp. 149–159.
CIKMCIKM-2009-LiM #query
Supporting context-based query in personal DataSpace (YL, XM), pp. 1437–1440.
CIKMCIKM-2009-TangSB #string
Space-economical partial gram indices for exact substring matching (NT, LS, PAB), pp. 285–294.
CIKMCIKM-2009-WangTFCYL #ranking
Heterogeneous cross domain ranking in latent space (BW, JT, WF, SC, ZY, YL), pp. 987–996.
CIKMCIKM-2009-YangLJ #monitoring #scalability
Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
ECIRECIR-2009-DemartiniGN #ranking
A Vector Space Model for Ranking Entities and Its Application to Expert Search (GD, JG, WN), pp. 189–201.
ICMLICML-2009-QiTZCZ #learning #metric #performance
An efficient sparse metric learning in high-dimensional space via l1-penalized log-determinant regularization (GJQ, JT, ZJZ, TSC, HJZ), pp. 841–848.
ICMLICML-2009-SongHSF
Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
ICMLICML-2009-WagstaffB #evaluation
K-means in space: a radiation sensitivity evaluation (KLW, BJB), pp. 1097–1104.
KDDKDD-2009-NijssenGR #approach #constraints #correlation #mining #programming
Correlated itemset mining in ROC space: a constraint programming approach (SN, TG, LDR), pp. 647–656.
KDIRKDIR-2009-SzekelyBM #clustering
Unsupervised Discriminant Embedding in Cluster Spaces (ES, EB, SMM), pp. 70–76.
KEODKEOD-2009-AbrusciRF #framework #information management #integration #representation
Knowledge Representation through Coherence Spaces — A Theoretical Framework for the Integration of Knowledge Representations (VMA, MR, CF), pp. 220–225.
KMISKMIS-2009-AlvesM #correlation
Best use of Knowledge in a Space Program — Managing the Correlated Technologies (MBA, AMM), pp. 301–304.
MLDMMLDM-2009-KobayashiS #classification #distributed #linear #representation #using
A Linear Classification Method in a Very High Dimensional Space Using Distributed Representation (TK, IS), pp. 137–147.
MLDMMLDM-2009-RiesenB #difference #graph #prototype #reduction #using
Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
SEKESEKE-2009-Chang
Virtual Spaces: From the Past to the Future (SKC), p. 2.
SIGIRSIGIR-2009-LeeLP #reduction #similarity #using
Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
ECMFAECMDA-FA-2009-SadovykhVGHGE #on the
On Study Results: Round Trip Engineering of Space Systems (AS, LV, EG, AH, JG, OE), pp. 265–276.
TOOLSTOOLS-EUROPE-2009-KnorreckAP #design #performance #simulation
Fast Simulation Techniques for Design Space Exploration (DK, LA, RP), pp. 308–327.
GPCEGPCE-2009-SanenTJ #approach #feature model #interactive #problem
Mapping problem-space to solution-space features: a feature interaction approach (FS, ET, WJ), pp. 167–176.
SACSAC-2009-FarberB #composition #multi
Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
SACSAC-2009-GaoS #graph #performance
Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces (HG, MS), pp. 1122–1126.
SACSAC-2009-KangKL #metric #similarity
Similarity measures for trajectory of moving objects in cellular space (HYK, JSK, KJL), pp. 1325–1330.
SACSAC-2009-LeeJKKKC #effectiveness #process
Shader space navigator: a turbo for an intuitive and effective shading process (JHL, MHJ, DYK, SWK, MHK, JSC), pp. 945–946.
SACSAC-2009-PinhoOL #incremental #set #visualisation
Incremental board: a grid-based space for visualizing dynamic data sets (RP, MCFdO, AdAL), pp. 1757–1764.
SACSAC-2009-SilvaML #approach #automation #heuristic
Heuristic approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
ISMMISMM-2009-AlbertGG #analysis #garbage collection
Live heap space analysis for languages with garbage collection (EA, SG, MGZ), pp. 129–138.
CSLCSL-2009-HofmannR #analysis #performance
Efficient Type-Checking for Amortised Heap-Space Analysis (MH, DR), pp. 317–331.
ICSTICST-2009-BardinH #generative #testing
Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ISSTAISSTA-2009-FoucheCP #array #incremental #scalability
Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
CBSECBSE-2008-LumpeGS #component #interface #reduction
State Space Reduction Techniques for Component Interfaces (ML, LG, JGS), pp. 130–145.
WICSAWICSA-2008-SousaSPB #design #monitoring #named
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces (JPS, BRS, VP, AB), pp. 71–80.
CASECASE-2008-NelaturiAST
Feasible spaces in weld gun selection (SN, AA, VS, RT), pp. 870–875.
CASECASE-2008-SenthilkumaranPR
Shrinkage compensation along single direction dexel space for improving accuracy in Selective Laser Sintering (KS, PMP, PVMR), pp. 827–832.
DACDAC-2008-CookS #design #predict #using
Predictive design space exploration using genetically programmed response surfaces (HC, KS), pp. 960–965.
DACDAC-2008-HaubeltSKM #agile #automation #behaviour #design #modelling #named #prototype
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models (CH, TS, JK, MM), pp. 580–585.
DACDAC-2008-OzisikyilmazMC #design #machine learning #performance #using
Efficient system design space exploration using machine learning techniques (, GM, ANC), pp. 966–969.
DATEDATE-2008-KangK #design #framework #machine learning #manycore #named #optimisation #performance
Magellan: A Search and Machine Learning-based Framework for Fast Multi-core Design Space Exploration and Optimization (SK, RK), pp. 1432–1437.
DATEDATE-2008-NuzzoNSFP #design
Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications (PN, CN, SS, LF, GVdP), pp. 1390–1393.
DATEDATE-2008-RistauLF #design #framework
A Mapping Framework for Guided Design Space Exploration of Heterogeneous MP-SoCs (BR, TL, GF), pp. 780–783.
SIGMODSIGMOD-2008-GemullaL #bound
Sampling time-based sliding windows in bounded space (RG, WL), pp. 379–392.
SIGMODSIGMOD-2008-VlachouDK #clustering #parallel #performance
Angle-based space partitioning for efficient parallel skyline computation (AV, CD, YK), pp. 227–238.
VLDBVLDB-2008-NezhadBSCA #process
Process spaceship: discovering and exploring process views from event logs in data spaces (HRMN, BB, RSP, FC, PA), pp. 1412–1415.
CSEETCSEET-2008-RasR #information management #learning #using
Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning (ER, JR), pp. 77–84.
PLDIPLDI-2008-BlackburnM #garbage collection #named #performance
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance (SMB, KSM), pp. 22–32.
STOCSTOC-2008-KleinbergSU #metric #multi
Multi-armed bandits in metric spaces (RK, AS, EU), pp. 681–690.
STOCSTOC-2008-NordstromH #towards
Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.
AFLAFL-2008-MalcherMP #array #bound
Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.
ICALPICALP-A-2008-Onak #metric #testing
Testing Properties of Sets of Points in Metric Spaces (KO), pp. 515–526.
SEFMSEFM-2008-XavierHM #fault tolerance #source code #using #verification
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs (KSX, SH, ACVdM), pp. 181–190.
ICFPICFP-2008-SpoonhowerBHG #functional #parallel #profiling #source code
Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.
CHICHI-2008-ElmqvistHRF #interactive #multi #named
Melange: space folding for multi-focus interaction (NE, NH, YR, JDF), pp. 1333–1342.
CHICHI-2008-KrukD #navigation
Rendering navigation and information space with honeycombTM (SRK, BM), pp. 1793–1796.
CHICHI-2008-NacentaMG
Targeting across displayless space (MAN, RLM, CG), pp. 777–786.
CHICHI-2008-PietrigaA #lens
Sigma lenses: focus-context transitions combining space, time and translucence (EP, CA), pp. 1343–1352.
CSCWCSCW-2008-VoidaVGH #symmetry
Asymmetry in media spaces (AV, SV, SG, HAH), pp. 313–322.
CAiSECAiSE-2008-IoannouNN #probability
Probabilistic Entity Linkage for Heterogeneous Information Spaces (EI, CN, WN), pp. 556–570.
ICEISICEIS-AIDSS-2008-StateCRP #algorithm #classification #learning
A New Learning Algorithm for Classification in the Reduced Space (LS, CC, IR, PV), pp. 155–160.
ICEISICEIS-HCI-2008-DeryckeVBL #interactive #named
E-Retail: Interaction of Intelligent Selling Space with Personal Selling Assistant (AD, TV, BB, PL), pp. 189–194.
ICEISICEIS-SAIC-2008-BoddyWRC #collaboration #communication #information management
Awareness in Project Information Spaces for Improved Communication and Collaboration (SB, MW, YR, GC), pp. 101–106.
ECIRECIR-2008-EidoonYO #ontology #using
Ontology Matching Using Vector Space (ZE, NY, FO), pp. 472–481.
ECIRECIR-2008-KarlgrenHS #word
Filaments of Meaning in Word Space (JK, AH, MS), pp. 531–538.
ICMLICML-2008-KolterCNGD #learning #programming
Space-indexed dynamic programming: learning to follow trajectories (JZK, AC, AYN, YG, CD), pp. 488–495.
ICMLICML-2008-LuLHE #framework #kernel
A reproducing kernel Hilbert space framework for pairwise time series distances (ZL, TKL, YH, DE), pp. 624–631.
ICMLICML-2008-SarawagiG
Accurate max-margin training for structured output spaces (SS, RG), pp. 888–895.
ICPRICPR-2008-Abdel-HakimF #detection #novel #quantifier
A novel stability quantification of detected interest points in scale-space (AEAH, AAF), pp. 1–4.
ICPRICPR-2008-Bouchaffra #markov #modelling
Embedding HMM’s-based models in a Euclidean space: The topological hidden Markov models (DB), pp. 1–4.
ICPRICPR-2008-ChoiGCC #analysis #independence #kernel
Kernel oriented discriminant analysis for speaker-independent phoneme spaces (HC, RGO, SC, YC), pp. 1–4.
ICPRICPR-2008-Coeurjolly #distance
Distance transformation, reverse distance transformation and discrete medial axis on toric spaces (DC), pp. 1–4.
ICPRICPR-2008-Feschet
The lattice width and quasi-straightness in digital spaces (FF), pp. 1–4.
ICPRICPR-2008-LiuWBM #kernel #learning #linear
Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.
ICPRICPR-2008-PrakashR #approach
A semisupervised approach to space carving (SP, ARK), pp. 1–4.
ICPRICPR-2008-SharmaCS #classification #kernel
Bag-of-features kernel eigen spaces for classification (GS, SC, JBS), pp. 1–4.
ICPRICPR-2008-WanS #geometry #multi
Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.
SEKESEKE-2008-HittleG #fault #file system #injection #testing #using
Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques (JH, SG), pp. 873–876.
SEKESEKE-2008-KimBBSA #behaviour #named #using #visualisation
VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology (BK, KB, MB, RS, BA), pp. 422–427.
SIGIRSIGIR-2008-DongCL #distance #estimation #similarity #sketching #symmetry
Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces (WD, MC, KL), pp. 123–130.
SIGIRSIGIR-2008-Larson #information retrieval #visualisation
Geographic IR and visualization in time and space (RRL), p. 886.
SIGIRSIGIR-2008-LiDZS #documentation #word
Knowledge transformation from word space to document space (TL, CHQD, YZ, BS), pp. 187–194.
LOPSTRLOPSTR-2008-CalcagnoDOY
Space Invading Systems Code (CC, DD, PWO, HY), pp. 1–3.
SACSAC-2008-BesshoKKS #framework #identification #ubiquitous
A space-identifying ubiquitous infrastructure and its application for tour-guiding service (MB, SK, NK, KS), pp. 1616–1621.
SACSAC-2008-ChengHVL #image #reduction
Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SACSAC-2008-TakanoC #documentation #feature model #feedback
A light-weight feedback method for reconstructing a document vector space on a feature extraction model (KT, XC), pp. 1169–1170.
ICSEICSE-2008-LauterburgSMV #incremental #source code
Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
SPLCSPLC-2008-CzarneckiSW #feature model #modelling
Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.
ASPLOSASPLOS-2008-LvinNBZ #named #reliability #security
Archipelago: trading address space for reliability and security (VBL, GN, EDB, BGZ), pp. 115–124.
CGOCGO-2008-RyooRSBUSH #gpu #optimisation #parallel #thread
Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
PPoPPPPoPP-2008-KejariwalNBVP #clustering
Cache-aware iteration space partitioning (AK, AN, UB, AVV, CDP), pp. 269–270.
CAVCAV-2008-GlabbeekP #algorithm #simulation
Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CASECASE-2007-Murphey #geometry
Geometric Derived Information Spaces in Manipulation with Mechanical Contact (TDM), pp. 338–345.
DATEDATE-2007-AycinenaBLMGW #open source #question #towards
Towards total open source in aeronautics and space? (PA, EB, GL, RM, FG, AW), p. 1556.
DATEDATE-2007-Botti #challenge #embedded #industrial
Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.
DATEDATE-2007-ChattopadhyayAKKLAM #configuration management #design #embedded
Design space exploration of partially re-configurable embedded processors (AC, WA, KK, DK, RL, GA, HM), pp. 319–324.
DATEDATE-2007-FerrignoPSL #design #identification #process
Identification of process/design issues during 0.18 µm technology qualification for space application (JF, PP, KS, DL), pp. 989–993.
DATEDATE-2007-FietheMDOZ #configuration management
Reconfigurable system-on-chip data processing units for space imaging instruments (BF, HM, CD, BO, GZ), pp. 977–982.
DATEDATE-2007-PardessusDA #embedded
The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space (TP, HD, RA), pp. 1108–1109.
HTHT-2007-FarzanCFBS #adaptation #named #social #traversal
ASSIST: adaptive social support for information space traversal (RF, MC, JF, PB, BS), pp. 199–208.
ICDARICDAR-2007-DasariB #identification #using
Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.
VLDBVLDB-2007-DoulkeridisVKV #metric #peer-to-peer #similarity
Peer-to-Peer Similarity Search in Metric Spaces (CD, AV, YK, MV), pp. 986–997.
FASEFASE-2007-SanchezSM #concurrent #distributed #product line #protocol
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
TACASTACAS-2007-RasmussenBL #complexity #flexibility
Complexity in Simplicity: Flexible Agent-Based State Space Exploration (JIR, GB, KGL), pp. 231–245.
WCREWCRE-2007-AlamD #3d #architecture #visualisation
EvoSpaces Visualization Tool: Exploring Software Architecture in 3D (SA, PD), pp. 269–270.
STOCSTOC-2007-AbrahamBN #metric
Local embeddings of metric spaces (IA, YB, ON), pp. 631–640.
STOCSTOC-2007-EnglertRW #metric #order
Reordering buffers for general metric spaces (ME, HR, MW), pp. 556–564.
ICALPICALP-2007-Goubault-Larrecq
Continuous Capacities on Continuous State Spaces (JGL), pp. 764–776.
LATALATA-2007-YoonSK #corpus #rule-based #word
Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus (JY, GYS, SK), pp. 589–599.
SFMSFM-2007-KnottenbeltB #modelling #performance #scalability
Tackling Large State Spaces in Performance Modelling (WJK, JTB), pp. 318–370.
CHICHI-2007-RamosCBB #lens
Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
CHICHI-2007-RanjanBB #automation #visual notation
Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task (AR, JPB, RB), pp. 1177–1186.
HCIHCI-IDU-2007-TesorieroMLG #design pattern #human-computer
HCI Design Patterns for PDA Running Space Structured Applications (RT, FMS, MDL, JAG), pp. 1206–1215.
HCIHCI-IPT-2007-BattisteJJGD
Flight Crew Perspective on the Display of 4D Information for En Route and Arrival Merging and Spacing (VB, WWJ, NHJ, SG, AQVD), pp. 541–550.
HCIHCI-IPT-2007-DahlS #interactive #towards #visualisation
Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems (YD, DS), pp. 569–578.
HCIHCI-IPT-2007-OtsukiKNST #artificial reality #interactive #novel
RealSound Interaction: A Novel Interaction Method with Mixed Reality Space by Localizing Sound Events in Real World (MO, AK, TN, FS, HT), pp. 653–662.
HCIHCI-MIE-2007-Kwon #segmentation
Speaker Segmentation for Intelligent Responsive Space (SK), pp. 385–392.
HCIHIMI-IIE-2007-BaeckerBCLRMWW #distributed #interactive #learning #realtime
Webcasting Made Interactive: Integrating Real-Time Videoconferencing in Distributed Learning Spaces (RB, JPB, RC, SL, KR, CM, AW, PW), pp. 269–278.
HCIHIMI-IIE-2007-ShibuyaTKT #3d
Operation-Action Mapping in 3D Information Space on Portable Information Terminal (YS, HT, IK, YT), pp. 628–634.
HCIHIMI-MTT-2007-IizukaK #communication #design
Design for Confident Communication of Information in Public Spaces (SI, YK), pp. 51–58.
HCIHIMI-MTT-2007-KatagiriK #design
Information Design for User’s Reassurance in Public Space (YK, MK), pp. 84–89.
HCIHIMI-MTT-2007-SidhartaTH
Real IT: Information Technology in Real Space (RS, TT, MH), pp. 968–974.
EDOCEDOC-2007-MartinWSL #comparison
An EAI Pattern-Based Comparison of Spaces and Messaging (DM, DW, TS, FL), p. 511–?.
ICEISICEIS-EIS-2007-MarquesRFRAAM #analysis #aspect-oriented
Aspect-Oriented Analysis Applied to the Space Domain (AM, RR, RF, RAR, SA, JA, AMDM), pp. 71–79.
ECIRECIR-2007-TzitzikasT
Naming Functions for the Vector Space Model (YT, YT), pp. 613–620.
ICMLICML-2007-CaoSSYC #feature model #kernel
Feature selection in a kernel space (BC, DS, JTS, QY, ZC), pp. 121–128.
ICMLICML-2007-GeurtsWd #kernel
Gradient boosting for kernelized output spaces (PG, LW, FdB), pp. 289–296.
ICMLICML-2007-MaLTK #analysis #correlation #similarity
Discriminant analysis in correlation similarity measure space (YM, SL, ET, MK), pp. 577–584.
ICMLICML-2007-PetersS #learning
Reinforcement learning by reward-weighted regression for operational space control (JP, SS), pp. 745–750.
ICMLICML-2007-ZhangXSGL #classification #metric
Optimal dimensionality of metric space for classification (WZ, XX, ZS, YFG, HL), pp. 1135–1142.
MLDMMLDM-2007-RiesenKB #graph
Reducing the Dimensionality of Vector Space Embeddings of Graphs (KR, VK, HB), pp. 563–573.
RecSysRecSys-2007-McCarthy #challenge #physics #recommendation
The challenges of recommending digital selves in physical spaces (JFM), pp. 185–186.
SEKESEKE-2007-AlamD #3d #architecture #named #visualisation
EvoSpaces: 3D Visualization of Software Architecture (SA, PD), pp. 500–505.
SEKESEKE-2007-SantiagoMCSA #development #experience #outsourcing
QSEE Project: An Experience in Outsourcing Software Development for Space Applications (VAS, MdFMF, RC, WPdS, AMA), pp. 51–56.
SACSAC-2007-BaiocoTT #cost analysis #effectiveness #metric #query #similarity
An effective cost model for similarity queries in metric spaces (GBB, AJMT, CTJ), pp. 527–528.
SACSAC-2007-HiserDW #design #embedded #memory management #performance
Fast, accurate design space exploration of embedded systems memory configurations (JH, JWD, DBW), pp. 699–706.
SACSAC-2007-NixonAT #semantics #towards #tuple #web
Towards Semantic tuplespace computing: the Semantic web spaces system (LJBN, OA, RT), pp. 360–365.
SACSAC-2007-ViroliCG #distributed #problem #self #tuple
A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.
SACSAC-2007-YiMLKJ #concurrent #multi #named #operating system #stack #thread
SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.
ESEC-FSEESEC-FSE-2007-ParreirasSW #metamodelling #on the #ontology #technological space
On marrying ontological and metamodeling technical spaces (FSP, SS, AW), pp. 439–448.
ESEC-FSEESEC-FSE-2007-SankaranarayananCJI #constraints #feedback #generative #monte carlo #using
State space exploration using feedback constraint generation and Monte-Carlo sampling (SS, RMC, GJ, FI), pp. 321–330.
GTTSEGTTSE-2007-AntkiewiczC #design
Design Space of Heterogeneous Synchronization (MA, KC), pp. 3–46.
ICSEICSE-2007-DwyerEPP #parallel #random
Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
ICSEICSE-2007-MaidenNR #case study #experience #requirements
Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (NAMM, CN, SR), pp. 632–641.
HPCAHPCA-2007-LeeB #architecture #design #modelling
Illustrative Design Space Studies with Microarchitectural Regression Models (BCL, DMB), pp. 340–351.
ISMMISMM-2007-AlbertGG #analysis #bytecode #java
Heap space analysis for java bytecode (EA, SG, MGZ), pp. 105–116.
LCTESLCTES-2007-BennettMFT #automation #embedded #set #text-to-text
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
CAVCAV-2007-EzekielLC #generative
Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
CSLCSL-2007-Abramsky #geometry #interactive #proving
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.
CSLCSL-2007-HertelU #game studies
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
ISSTAISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code
Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.
LICSLICS-2007-Goubault-Larrecq #on the
On Noetherian Spaces (JGL), pp. 453–462.
LICSLICS-2007-Schopp #bound #logic
Stratified Bounded Affine Logic for Logarithmic Space (US), pp. 411–420.
CASECASE-2006-ReveliotisB #algorithm #learning #performance
Efficient learning algorithms for episodic tasks with acyclic state spaces (SR, TB), pp. 411–418.
DACDAC-2006-ChaoCWCW #analysis #using
Unknown-tolerance analysis and test-quality control for test response compaction using space compactors (MCTC, KTC, SW, STC, WW), pp. 1083–1088.
DACDAC-2006-KhatibPBBBKJN #analysis #architecture #design #monitoring #multi #realtime
A multiprocessor system-on-chip for real-time biomedical monitoring and analysis: architectural design space exploration (IAK, FP, DB, LB, MB, HK, AJ, RN), pp. 125–130.
DACDAC-2006-LeeOMC #design #multi #prototype
Design space exploration and prototyping for on-chip multimedia applications (HGL, ÜYO, RM, NC), pp. 137–142.
DACDAC-2006-TiwaryTR #design #generative
Generation of yield-aware Pareto surfaces for hierarchical circuit design space exploration (SKT, PKT, RAR), pp. 31–36.
DACDAC-2006-VrankenGGSH #detection #fault
Fault detection and diagnosis with parity trees for space compaction of test responses (HPEV, SKG, AG, JS, FH), pp. 1095–1098.
DACDAC-2006-WangGDK #design #optimisation #using
Design space exploration using time and resource duality with the ant colony optimization (GW, WG, BD, RK), pp. 451–454.
DATEDATE-2006-Al-ArsHG #fault #modelling #testing
Space of DRAM fault models and corresponding testing (ZAA, SH, AJvdG), pp. 1252–1257.
DATEDATE-2006-AngioliniCLFFB #design #framework
An integrated open framework for heterogeneous MPSoC design space exploration (FA, JC, RL, FF, CF, LB), pp. 1145–1150.
DATEDATE-2006-BrackKW #design
Disclosing the LDPC code decoder design space (TB, FK, NW), pp. 200–205.
DATEDATE-2006-ChaoWCWC #using
Coverage loss by using space compactors in presence of unknown values (MCTC, SW, STC, WW, KTC), pp. 1053–1054.
DATEDATE-2006-EyermanEB #design #embedded #performance
Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
DATEDATE-2006-ManolacheEP #communication #optimisation #synthesis
Buffer space optimisation with communication synthesis and traffic shaping for NoCs (SM, PE, ZP), pp. 718–723.
DATEDATE-2006-NascimentoL #architecture #clustering #complexity #configuration management #image
Temporal partitioning for image processing based on time-space complexity in reconfigurable architectures (PSBdN, MEdL), pp. 375–380.
DATEDATE-2006-ZhangZD #modelling #named #parametricity #process
ALAMO: an improved alpha-space based methodology for modeling process parameter variations in analog circuits (HZ, YZ, AD), pp. 156–161.
DATEDATE-DF-2006-RaabeHAZ #detection #prototype
Space-efficient FPGA-accelerated collision detection for virtual prototyping (AR, SH, JKA, GZ), pp. 206–211.
DRRDRR-2006-SmithA #clustering
Partitioning of the degradation space for OCR training (EHBS, TLA).
HTHT-2006-GarzottoF #2d #3d #interactive #social
Hyperstories and social interaction in 2D and 3D edutainment spaces for children (FG, MF), pp. 57–68.
PODSPODS-2006-CormodeKMS #algorithm #data type
Space- and time-efficient deterministic algorithms for biased quantiles over data streams (GC, FK, SM, DS), pp. 263–272.
SIGMODSIGMOD-2006-AchtertBKKPR #metric #nearest neighbour #performance
Efficient reverse k-nearest neighbor search in arbitrary metric spaces (EA, CB, PK, PK, AP, MR), pp. 515–526.
SIGMODSIGMOD-2006-ChanJTTZ
Finding k-dominant skylines in high dimensional space (CYC, HVJ, KLT, AKHT, ZZ), pp. 503–514.
ESOPESOP-2006-HofmannJ #analysis #type system
Type-Based Amortised Heap-Space Analysis (MH, SJ), pp. 22–37.
TACASTACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
STOCSTOC-2006-AchlioptasR #constraints #geometry #on the #problem #random
On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
STOCSTOC-2006-AmbainisSW #bound #quantum #theorem #trade-off
A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs (AA, RS, RdW), pp. 618–633.
STOCSTOC-2006-ColeG #bound #set
Searching dynamic point sets in spaces with bounded doubling dimension (RC, LAG), pp. 574–583.
STOCSTOC-2006-FatourouFR #implementation #trade-off
Time-space tradeoffs for implementations of snapshots (PF, FEF, ER), pp. 169–178.
STOCSTOC-2006-KampRVZ
Deterministic extractors for small-space sources (JK, AR, SPV, DZ), pp. 691–700.
STOCSTOC-2006-Nordstrom #proving
Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.
STOCSTOC-2006-PatrascuT #trade-off
Time-space trade-offs for predecessor search (MP, MT), pp. 232–240.
SEFMSEFM-2006-RodriguesBCFG #approach #using
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (CLR, PESB, JMC, JCAdF, DSG), pp. 226–235.
CHICHI-2006-CockburnGA #documentation #navigation #performance
Faster document navigation with space-filling thumbnails (AC, CG, JA), pp. 1–10.
CHICHI-2006-FernaeusT #design #programming
Finding design qualities in a tangible programming space (YF, JT), pp. 447–456.
CHICHI-2006-HorneckerB #framework #interactive #physics #social
Getting a grip on tangible interaction: a framework on physical space and social interaction (EH, JB), pp. 437–446.
CHICHI-2006-LuffHKYY #documentation #hybrid
Handling documents and discriminating objects in hybrid spaces (PL, CH, HK, KY, JY), pp. 561–570.
CHICHI-2006-WigdorSFB #performance
Effects of display position and control space orientation on user preference and performance (DW, CS, CF, RB), pp. 309–318.
CSCWCSCW-2006-Dourish #years after
Re-space-ing place: “place” and “space” ten years on (PD), pp. 299–308.
CSCWCSCW-2006-Lee #analysis #social #what
What goes around comes around: an analysis of del.icio.us as social space (KJL), pp. 191–194.
CSCWCSCW-2006-RazaviI #behaviour #information management #learning
A grounded theory of information sharing behavior in a personal learning space (MNR, LI), pp. 459–468.
CSCWCSCW-2006-RollandHM #concept #integration
Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration (KHR, VH, EM), pp. 493–500.
SOFTVISSOFTVIS-2006-TanimotoL #interface #source code
A transparent interface to state-space search programs (SLT, SL), pp. 151–152.
ICEISICEIS-DISI-2006-TrienekensKVKMS #development
Investigating the Improvement Space of Software Development Organisations (JJMT, RJK, FvV, DK, DM, PS), pp. 3–10.
ICEISICEIS-J-2006-BerkovskyEM06a #collaboration #nearest neighbour #retrieval
Retrieval of Collaborative Filtering Nearest Neighbors in a Content-Addressable Space (SB, YE, LMM), pp. 159–178.
CIKMCIKM-2006-AchtertBKKPR #approximate #metric #nearest neighbour #query
Approximate reverse k-nearest neighbor queries in general metric spaces (EA, CB, PK, PK, AP, MR), pp. 788–789.
CIKMCIKM-2006-Melucci #ranking #using
Ranking in context using vector spaces (MM), pp. 866–867.
ECIRECIR-2006-KirschGC #retrieval #social #web
Beyond the Web: Retrieval in Social Information Spaces (SMK, MG, ABC), pp. 84–95.
ICMLICML-2006-TeoV #array #kernel #performance #string #using
Fast and space efficient string kernels using suffix arrays (CHT, SVNV), pp. 929–936.
ICMLICML-2006-YeX #analysis #linear #null #orthogonal
Null space versus orthogonal linear discriminant analysis (JY, TX), pp. 1073–1080.
ICPRICPR-v1-2006-BhattacharyaRD #clustering #fuzzy #image #representation #retrieval #semantics #using
Image Representation and Retrieval Using Support Vector Machine and Fuzzy C-means Clustering Based Semantical Spaces (PB, MMR, BCD), pp. 929–935.
ICPRICPR-v1-2006-EtyngierPKGA #estimation
Radon space and Adaboost for Pose Estimation (PE, NP, RK, YG, JYA), pp. 421–424.
ICPRICPR-v1-2006-LiHWW #behaviour #image #modelling #recognition
Behavior Modeling and Recognition Based on Space-Time Image Features (HL, ZH, YW, FW), pp. 243–246.
ICPRICPR-v1-2006-OnoMKI #analysis #image
Space-time Analysis of Spherical Projection Image (SO, TM, HK, KI), pp. 975–979.
ICPRICPR-v1-2006-RiusVGV #performance
Action Spaces for Efficient Bayesian Tracking of Human Motion (IR, XV, JG, JJV), pp. 472–475.
ICPRICPR-v1-2006-WashizawaY #kernel
Non-linear Wiener filter in reproducing kernel Hilbert space (YW, YY), pp. 967–970.
ICPRICPR-v2-2006-BhattacharyaRD06a #clustering #fuzzy #image #representation #retrieval #semantics #using
Image Representation and Retrieval Using Support Vector Machine and Fuzzy C-means Clustering Based Semantical Spaces (PB, MMR, BCD), pp. 1162–1168.
ICPRICPR-v2-2006-GanD #relational #using
Differentiating Between Many Similar Features using Relational Information in Space and Scale (TSYG, TD), pp. 638–641.
ICPRICPR-v2-2006-LiSCS #image #retrieval
Image Tangent Space for Image Retrieval (HL, RS, WC, IFS), pp. 1126–1130.
ICPRICPR-v2-2006-Mainar-RuizP #approximate #multi #nearest neighbour #using
Approximate Nearest Neighbor Search using a Single Space-filling Curve and Multiple Representations of the Data Points (GMR, JCPC), pp. 502–505.
ICPRICPR-v2-2006-YamadaS #invariant #recognition
Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPRICPR-v2-2006-YangG #composition #invariant #using
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPRICPR-v2-2006-YangN #recognition #scalability #set
Layered Search Spaces for Accelerating Large Set Character Recognition (YY, MN), pp. 1006–1009.
ICPRICPR-v2-2006-YokobayashiW #correlation #recognition #using
Binarization and Recognition of Degraded Characters Using a Maximum Separability Axis in Color Space and GAT Correlation (MY, TW), pp. 885–888.
ICPRICPR-v2-2006-ZhengYYW #classification #effectiveness #image #problem
Effective classification image space which can solve small sample size problem (YJZ, JYY, JY, XW), pp. 861–864.
ICPRICPR-v3-2006-ArcelliBS #3d #set
A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.
ICPRICPR-v3-2006-HeTHY #difference #recognition
Face Recognition with Relative Difference Space and SVM (XH, JT, YH, XY), pp. 527–531.
ICPRICPR-v3-2006-HuW06a #representation
A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.
ICPRICPR-v3-2006-KawanakaFI #3d
Human Head Tracking in Three Dimensional Voxel Space (HK, HF, YI), pp. 826–829.
ICPRICPR-v3-2006-LeePL #image #kernel #re-engineering
Face Reconstruction with Low Resolution Facial Images by Feature Vector Projection in Kernel Space (SWL, JP, SWL), pp. 1179–1182.
ICPRICPR-v3-2006-NodaNK #performance
Simple and Efficient Colorization in YCbCr Color Space (HN, MN, JK), pp. 685–688.
ICPRICPR-v3-2006-PranckevicieneHS #feature model
Class Separability in Spaces Reduced By Feature Selection (EP, TH, RLS), pp. 254–257.
ICPRICPR-v3-2006-SagheerTTAM #approach #feature model #multi #performance #problem
Fast Feature Extraction Approach for Multi-Dimension Feature Space Problems (AES, NT, RiT, DA, SM), pp. 417–420.
ICPRICPR-v3-2006-SakaiA #detection #metric #using
Human and Object Detection in Smoke-filled Space using Millimeter-wave radar based Measurement System (MS, YA), p. 750.
ICPRICPR-v3-2006-SureshR
Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.
ICPRICPR-v3-2006-XueD #2d #3d #locality #multi #using
3D+2D Face Localization Using Boosting in Multi-Modal Feature Space (FX, XD), pp. 499–502.
ICPRICPR-v4-2006-DhandraHHM #analysis #image #segmentation #using
Analysis of Abnormality in Endoscopic images using Combined HSI Color Space and Watershed Segmentation (BVD, RH, MH, VSM), pp. 695–698.
ICPRICPR-v4-2006-Fisher06a #capacity #classification #empirical
An Empirical Model for Saturation and Capacity in Classifier Spaces (RBF), pp. 189–193.
ICPRICPR-v4-2006-LeiYW #recognition
An UBM-Based Reference Space for Speaker Recognition (ZL, YY, ZW), pp. 318–321.
ICPRICPR-v4-2006-MellakhPD #using
Using Signal/Residual Information of Eigenfaces for PCA Face Space Dimensionality Characteristics (MAM, DPD, BD), pp. 574–577.
ICPRICPR-v4-2006-RanCZ
Finding Gait in Space and Time (YR, RC, QZ), pp. 586–589.
ICPRICPR-v4-2006-TianK06b #automation #distance #multi
Voting Weighted Modified Hausdorff Distance Through Multiscale Space for Automatic Image-Map Registration (LT, SiK), pp. 837–840.
KDDKDD-2006-TaoXZ #database #metric #mining #scalability
Mining distance-based outliers from large databases in any metric space (YT, XX, SZ), pp. 394–403.
SEKESEKE-2006-OgataKF #bound
Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.
SIGIRSIGIR-2006-CaiHH #analysis #documentation
Tensor space model for document analysis (DC, XH, JH), pp. 625–626.
SIGIRSIGIR-2006-MaddageLK #music #retrieval
Music structure based vector space retrieval (NCM, HL, MSK), pp. 67–74.
PADLPADL-2006-MacLartyS #debugging #declarative
Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
POPLPOPL-2006-DannerR
Adventures in time and space (ND, JSR), pp. 168–179.
SACSAC-2006-BellurB #distributed #named #tuple #web #web service #xml
xSpace: a tuple space for XML & its application in orchestration of web services (UB, SB), pp. 766–772.
SACSAC-2006-BessaniFL #fault tolerance #named #tuple
BTS: a Byzantine fault-tolerant tuple space (ANB, JdSF, LCL), pp. 429–433.
SACSAC-2006-MameiQZ #physics #tuple
Making tuple spaces physical with RFID tags (MM, RQ, FZ), pp. 434–439.
SACSAC-2006-MenezesW #concept
The fading concept in tuple-space systems (RM, AW), pp. 440–444.
SACSAC-2006-NguyenLL #case study #modelling #process
A space aware agent-based modeling process for the study of hierarchical complex systems (TMLN, CL, IL), pp. 126–127.
SACSAC-2006-ParkCS #search-based #visual notation
Visual exploration of genetic likelihood space (JWP, JFC, AMS), pp. 1335–1340.
SACSAC-2006-XuC
Improving address space randomization with a dynamic offset randomization technique (HX, SJC), pp. 384–391.
ICSEICSE-2006-TanAC #finite #verification
Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
ASPLOSASPLOS-2006-IpekMCSS #architecture #design #modelling #predict
Efficiently exploring architectural design spaces via predictive modeling (EI, SAM, RC, BRdS, MS), pp. 195–206.
CGOCGO-2006-KulkarniWTD #optimisation #order
Exhaustive Optimization Phase Order Space Exploration (PAK, DBW, GST, JWD), pp. 306–318.
CGOCGO-2006-VenstermansEB #java
Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing (KV, LE, KDB), pp. 76–86.
HPCAHPCA-2006-LiLBHS #constraints #design #physics
CMP design space exploration subject to physical constraints (YL, BCL, DMB, ZH, KS), pp. 17–28.
HPDCHPDC-2006-WeinbergS #game studies
When Jobs Play Nice: The Case For Symbiotic Space-Sharing (JW, AS), pp. 361–362.
OSDIOSDI-2006-ErlingssonAVBN #named
XFI: Software Guards for System Address Spaces (ÚE, MA, MV, MB, GCN), pp. 75–88.
CSLCSL-2006-Schopp #interactive
Space-Efficient Computation by Interaction (US), pp. 606–621.
ASEASE-2005-CaiS #analysis #design #modelling #named
Simon: modeling and analysis of design space structures (YC, KJS), pp. 329–332.
DACDAC-2005-BernardinisNV #design
Mixed signal design space exploration through analog platforms (FDB, PN, ALSV), pp. 875–880.
DACDAC-2005-GielenME #modelling #performance #synthesis
Performance space modeling for hierarchical synthesis of analog integrated circuits (GGEG, TM, TE), pp. 881–886.
DACDAC-2005-GuWDZ #behaviour #design #incremental #physics
Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DACDAC-2005-MuellerSGS #performance
Deterministic approaches to analog performance space exploration (PSE) (DM, GS, HEG, US), pp. 869–874.
DATEDATE-2005-KatzHD #bound #model checking
Space-Efficient Bounded Model Checking (JK, ZH, ND), pp. 686–687.
DATEDATE-2005-MiramondD #architecture #configuration management #design
Design Space Exploration for Dynamically Reconfigurable Architectures (BM, JMD), pp. 366–371.
DATEDATE-2005-SomaniCP #contest #design #optimisation #search-based
Mixing Global and Local Competition in Genetic Optimization based Design Space Exploration of Analog Circuits (AS, PPC, AP), pp. 1064–1069.
DATEDATE-2005-SuCP #configuration management #using
Yield Enhancement of Digital Microfluidics-Based Biochips Using Space Redundancy and Local Reconfiguration (FS, KC, VKP), pp. 1196–1201.
HTHT-2005-YamamotoNNAM #authoring #hypermedia #what
What is the space for?: the role of space in authoring hypertext representations (YY, KN, YN, MA, RM), pp. 117–125.
ICDARICDAR-2005-BhagvatiD #classification #using
Classification of Liquid and Viscous Inks using HSV Colour Space (CB, HD), pp. 660–664.
ICDARICDAR-2005-YokobayashiW #correlation #image #recognition #segmentation #using
Segmentation and Recognition of Characters in Scene Images Using Selective Binarization in Color Space and GAT Correlation (MY, TW), pp. 167–171.
PODSPODS-2005-CormodeM #mining #multi #performance
Space efficient mining of multigraph streams (GC, SM), pp. 271–282.
PODSPODS-2005-HershbergerSST #complexity #data type #multi
Space complexity of hierarchical heavy hitters in multi-dimensional data streams (JH, NS, SS, CDT), pp. 338–347.
SIGMODSIGMOD-2005-DongHMN
Reference Reconciliation in Complex Information Spaces (XD, AYH, JM), pp. 85–96.
VLDBVLDB-2005-Guha #algorithm #performance
Space Efficiency in Synopsis Construction Algorithms (SG), pp. 409–420.
VLDBVLDB-2005-KimWLL #n-gram #named #performance
n-Gram/2L: A Space and Time Efficient Two-Level n-Gram Inverted Index Structure (MSK, KYW, JGL, MJL), pp. 325–336.
ITiCSEITiCSE-2005-GomesSVG #behaviour #multi #named
SoundSpaces: behavior based control system for multimedia systems (RG, RS, JV, NG), p. 407.
WRLAWRLA-2004-ArrighiD05
A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.
FASEFASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.
FoSSaCSFoSSaCS-2005-CattaniSKN #nondeterminism #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
SASSAS-2005-ChenKK #execution #memory management #reliability
Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
STOCSTOC-2005-Reingold
Undirected ST-connectivity in log-space (OR), pp. 376–385.
STOCSTOC-2005-Trifonov #algorithm
An O(log n log log n) space algorithm for undirected st-connectivity (VT), pp. 626–633.
DLTDLT-J-2004-Staiger05 #infinity
Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of ω-Power Languages (LS), pp. 787–802.
ICALPICALP-2005-BilleG #performance #problem
The Tree Inclusion Problem: In Optimal Space and Faster (PB, ILG), pp. 66–77.
ICALPICALP-2005-DiehlM #bound #polynomial #random
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines (SD, DvM), pp. 982–993.
ICALPICALP-2005-Farach-ColtonLST #approximate #performance #string
Optimal Spaced Seeds for Faster Approximate String Matching (MFC, GML, SCS, DT), pp. 1251–1262.
FMFM-2005-Johnson #debugging #formal method #using
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions (CWJ), pp. 9–25.
CHICHI-2005-AokiW #ambiguity #communication #design
Making space for stories: ambiguity in the design of personal communication systems (PMA, AW), pp. 181–190.
CHICHI-2005-LeeWB #concept #gesture #modelling
Improving orchestral conducting systems in public spaces: examining the temporal characteristics and conceptual models of conducting gestures (EL, MW, JOB), pp. 731–740.
SOFTVISSOFTVIS-2005-NoackL #graph #layout #modelling
A space of layout styles for hierarchical graph models of software systems (AN, CL), pp. 155–164.
AdaEuropeAdaEurope-2005-Ruiz
GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
CIKMCIKM-2005-Melucci #modelling #using
Context modeling and discovery using vector space bases (MM), pp. 808–815.
CIKMCIKM-2005-OrlandicLY #clustering #effectiveness #performance #reduction #using
Clustering high-dimensional data using an efficient and effective data space reduction (RO, YL, WGY), pp. 201–208.
CIKMCIKM-2005-ZhangGLTW
Discovering strong skyline points in high dimensional spaces (ZZ, XG, HL, AKHT, NW), pp. 247–248.
ECIRECIR-2005-KakadeR #encoding #xml
Encoding XML in Vector Spaces (VK, PR), pp. 96–111.
ICMLICML-2005-PaiementEBB #embedded #visual notation
A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
ICMLICML-2005-SiddiqiM #learning #performance
Fast inference and learning in large-state-space HMMs (SMS, AWM), pp. 800–807.
KDDKDD-2005-FujimakiYM #approach #detection #kernel #problem #using
An approach to spacecraft anomaly detection problem using kernel feature space (RF, TY, KM), pp. 401–410.
KDDKDD-2005-NeillMSD #clustering #detection
Detection of emerging space-time clusters (DBN, AWM, MS, KD), pp. 218–227.
LSOLSO-2005-DingsoyrB #using
Using Open Space Technology as a Method to Share Domain Knowledge (TD, FOB), pp. 102–106.
MLDMMLDM-2005-CaoHXW #algorithm #network #recognition
Iris Recognition Algorithm Based on Point Covering of High-Dimensional Space and Neural Network (WC, JH, GX, SW), pp. 305–313.
MLDMMLDM-2005-NikulinS #clustering #probability
Universal Clustering with Regularization in Probabilistic Space (VN, AJS), pp. 142–152.
SEKESEKE-2005-ChenSH #collaboration
Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.
SACSAC-2005-FujinamiN #physics #towards
Towards system software for physical space applications (KF, TN), pp. 1613–1620.
SACSAC-2005-HeoYCHS #incremental
Space-efficient page-level incremental checkpointing (JH, SY, YC, JH, SYS), pp. 1558–1562.
SACSAC-2005-MaamarBGMY #coordination #self #tuple #web #web service
Tuple spaces for self-coordination of web services (ZM, DB, CG, QHM, HY), pp. 1656–1660.
SACSAC-2005-PiccoBC #lightweight #named #tuple
LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.
GTTSEGTTSE-2005-Bezivin #modelling #technological space
Model Driven Engineering: An Emerging Technical Space (JB), pp. 36–64.
HPCAHPCA-2005-ChenPWHP #design #power management
Exploring the Design Space of Power-Aware Opto-Electronic Networked Systems (XC, LSP, GYW, YKH, PRP), pp. 120–131.
PPoPPPPoPP-2005-CoarfaDMCEMYC #c #evaluation #fortran #parallel
An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.
PPoPPPPoPP-2005-KejariwalNBP #approach #clustering #novel
A novel approach for partitioning iteration spaces with variable densities (AK, AN, UB, CDP), pp. 120–131.
SOSPSOSP-2005-HuangHS #energy #named #performance #replication
FS2: dynamic data replication in free disk space for improving disk performance and energy consumption (HH, WH, KGS), pp. 263–276.
ICSTSAT-J-2004-TangYRM05 #algorithm #analysis #problem #quantifier #satisfiability
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 292–305.
CAVCAV-2005-VecchieS #source code
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
CSLCSL-2005-Perron #proving
A Propositional Proof System for Log Space (SP), pp. 509–524.
ICLPICLP-2005-SahaR #data type #evaluation #graph #incremental #performance
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.
RTARTA-2005-BonfanteMM #bound
Quasi-interpretations and Small Space Bounds (GB, JYM, JYM), pp. 150–164.
DACDAC-2004-CaiGG #agile #design #profiling
Retargetable profiling for rapid, early system-level design space exploration (LC, AG, DG), pp. 281–286.
DACDAC-2004-HandaV #algorithm #online #performance
An efficient algorithm for finding empty space for online FPGA placement (MH, RV), pp. 960–965.
DATEDATE-DF-2004-PortoA #2d #architecture #implementation
Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation (RECP, LVA), pp. 224–229.
DATEDATE-v1-2004-BeniniIMM #design #memory management #metaprogramming
Block-Enabled Memory Macros: Design Space Exploration and Application-Specific Tuning (LB, AI, AM, EM), pp. 698–699.
DATEDATE-v1-2004-BernardinisS #design
A Methodology for System-Level Analog Design Space Exploration (FDB, ALSV), pp. 676–677.
DATEDATE-v1-2004-FengWCL #clustering #simulation
Improved Symoblic Simulation by Dynamic Funtional Space Partitioning (TF, LCW, KTC, CCL), pp. 42–49.
DATEDATE-v1-2004-SzymanekCK #architecture #design #energy #memory management #multi
Time-Energy Design Space Exploration for Multi-Layer Memory Architectures (RS, FC, KK), pp. 318–323.
DATEDATE-v2-2004-ZieglerS #design #parallel
A Unified Design Space for Regular Parallel Prefix Adders (MMZ, MRS), pp. 1386–1387.
HTHT-2004-HicksWN #towards
Towards a structural diversity space (DLH, UKW, PJN), pp. 247–255.
HTHT-2004-LeggettS #communication #design #hypermedia #interactive #research
Directions for hypertext research: exploring the design space for interactive scholarly communication (JJL, FMSI), pp. 2–11.
HTHT-2004-StottsSG #hypermedia #named #video
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop (PDS, JMS, KG), pp. 48–57.
PODSPODS-2004-KaushikRC #optimisation #perspective #query
Synopses for Query Optimization: A Space-Complexity Perspective (RK, RR, VTC), pp. 201–209.
ESOPESOP-2004-GuttmanTCHRS #trust
Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
CIAACIAA-2004-PengT #algorithm #performance #sequence
Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.
CHICHI-2004-EverettB #visual notation
Unintended effects: varying icon spacing changes users’ visual search strategy (SPE, MDB), pp. 695–702.
CHICHI-2004-KarahaliosD #named #social
Telemurals: linking remote spaces with social catalysts (KK, JSD), pp. 615–622.
CHICHI-2004-LampeR #distributed #online #scalability
Slash(dot) and burn: distributed moderation in a large online conversation space (CL, PR), pp. 543–550.
CHICHI-2004-NakanishiKII #communication #scalability
Transcendent communication: location-based guidance for large-scale public spaces (HN, SK, TI, HI), pp. 655–662.
CHICHI-2004-SugimotoHH #collaboration #named
Caretta: a system for supporting face-to-face collaboration by integrating personal and shared spaces (MS, KH, HH), pp. 41–48.
CSCWCSCW-2004-BrignullIFRR #interactive
The introduction of a shared interactive surface into a communal space (HB, SI, GF, YR, TR), pp. 49–58.
CSCWCSCW-2004-GergleKF #visual notation
Action as language in a shared visual space (DG, REK, SRF), pp. 487–496.
CSCWCSCW-2004-McCarthyBCGLZ #physics
Digital backchannels in shared physical spaces: attention, intention and contention (JFM, DB, EFC, WGG, EL, MZ), pp. 550–553.
CSCWCSCW-2004-McCarthyMSNR #social
Augmenting the social space of an academic conference (JFM, DWM, SS, DHN, AMR), pp. 39–48.
ICEISICEIS-v1-2004-Lyytinen #analysis #functional #requirements #scalability #source code
Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.
ICEISICEIS-v4-2004-BoppHE #weaving
Connecting Virtual Spaces: Shadow Objects as Key Elements for Weaving the Cooperative Space (TB, TH, BE), pp. 475–479.
CIKMCIKM-2004-FradkinK #adaptation #analysis #approach #design #information retrieval
A design space approach to analysis of information retrieval adaptive filtering systems (DF, PBK), pp. 251–260.
CIKMCIKM-2004-HoreHIM #constraints
Indexing text data under space constraints (BH, HH, BRI, SM), pp. 198–207.
CIKMCIKM-2004-LiuZYYYCBM #learning #metric #similarity
Learning similarity measures in non-orthogonal space (NL, BZ, JY, QY, SY, ZC, FB, WYM), pp. 334–341.
ICMLICML-2004-GramacyLM #parametricity #process
Parameter space exploration with Gaussian process trees (RBG, HKHL, WGM).
ICMLICML-2004-TsochantaridisHJA #machine learning
Support vector machine learning for interdependent and structured output spaces (IT, TH, TJ, YA).
ICMLICML-2004-WellingRT #approximate #markov
Approximate inference by Markov chains on union spaces (MW, MRZ, YWT).
ICPRICPR-v1-2004-FanWLT #null #recognition
Combining Null Space-based Gabor Features for Face Recognition (WF, YW, WL, TT), pp. 330–333.
ICPRICPR-v1-2004-LaptevL #adaptation
Velocity Adaptation of Space-Time Interest Points (IL, TL), pp. 52–56.
ICPRICPR-v1-2004-ReimersBBOCFKP
A Feasibility study of On-Board Data Compression for Infrared Cameras of Space Observatories (CR, ANB, HB, RO, DAC, HF, FK, AP), pp. 524–527.
ICPRICPR-v1-2004-VaswaniC #analysis #classification #component #null #probability
Classification Probability Analysis of Principal Component Null Space Analysis (NV, RC), pp. 240–243.
ICPRICPR-v2-2004-HeY #adaptation #detection
Curvature Scale Space Corner Detector with Adaptive Threshold and Dynamic Region of Support (XCH, NHCY), pp. 791–794.
ICPRICPR-v2-2004-NiR #pattern matching
Pattern Matching by Sequential Subdivision of Transformation Space (MN, SER), pp. 145–148.
ICPRICPR-v2-2004-OhteraH #identification #using
Faxed Form Identification using Histogram of the Hough-Space (RO, TH), pp. 566–569.
ICPRICPR-v2-2004-ShimanoN #optimisation #recognition
Simultaneous Optimization of Class Configuration and Feature Space for Object Recognition (MS, KN), pp. 7–10.
ICPRICPR-v2-2004-TakiS #3d #re-engineering #symmetry
3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.
ICPRICPR-v2-2004-Tweed #formal method
Estimating Rigid Motions via the Conformal Model of Euclidean Space (DT), pp. 171–174.
ICPRICPR-v2-2004-WashizawaY #classification #kernel #pattern matching #pattern recognition #recognition
Kernel Sample Space Projection Classifier for Pattern Recognition (YW, YY), pp. 435–438.
ICPRICPR-v2-2004-YuXA #graph #sequence #using #video
Reconstructing a Dynamic Surface from Video Sequences Using Graph Cuts in 4D Space-Time (TY, NX, NA), pp. 245–248.
ICPRICPR-v2-2004-ZhangLG #detection #realtime #using
Real-Time Face Detection Using Boosting in Hierarchical Feature Spaces (DZ, SZL, DGP), pp. 411–414.
ICPRICPR-v3-2004-BenoitF #kernel
Steerable Kernels for Arbitrarily-Sampled Spaces (SB, FPF), pp. 578–581.
ICPRICPR-v3-2004-HaindlFA #image #modelling
BTF Image Space Utmost Compression and Modelling Method (MH, JF, MA), pp. 194–197.
ICPRICPR-v3-2004-Meas-YedidGMPSO #automation #biology #image #segmentation
Automatic Color Space Selection for Biological Image Segmentation (VMY, EG, EM, CP, GS, JCOM), pp. 514–517.
ICPRICPR-v3-2004-WangLL #analysis #towards
Tensor Voting Toward Feature Space Analysis (JW, HL, QL), pp. 462–465.
ICPRICPR-v4-2004-Ben-AriS
Non-Isotropic Regularization of the Correspondence Space in Stereo-Vision (RBA, NAS), pp. 293–296.
ICPRICPR-v4-2004-FrenchMP
Condensation Tracking through a Hough Space (APF, SM, TPP), pp. 195–198.
ICPRICPR-v4-2004-KimP #hypermedia #using
Geographic Hypermedia using Search Space Transformation (SSK, JHP), pp. 368–371.
ICPRICPR-v4-2004-LiuWLT #classification #recognition
Nearest Intra-Class Space Classifier for Face Recognition (WL, YW, SZL, TT), pp. 495–498.
ICPRICPR-v4-2004-SialaCCB #detection
Moving Shadow Detection with Support Vector Domain Description in the Color Ratios Space (KS, MC, FC, OB), pp. 384–387.
ICPRICPR-v4-2004-ZajdelCK #multi #online
Online Multicamera Tracking with a Switching State-Space Model (WZ, ATC, BJAK), pp. 339–343.
KDDKDD-2004-CaruanaN #analysis #data mining #empirical #learning #metric #mining #performance
Data mining in metric space: an empirical analysis of supervised learning performance criteria (RC, ANM), pp. 69–78.
KDDKDD-2004-Iyengar #clustering #detection #on the
On detecting space-time clusters (VSI), pp. 587–592.
KDDKDD-2004-JehW #graph #mining
Mining the space of graph properties (GJ, JW), pp. 187–196.
LSOLSO-2004-JohnM #collaboration #network
Knowledge Networks — Managing Collaborative Knowledge Spaces (MJ, RM), pp. 165–171.
ECOOPECOOP-2004-VelascoOT #adaptation
Adaptive Tuning of Reserved Space in an Appel Collector (JMV, KO, FT), pp. 543–559.
POPLPOPL-2004-Boehm #lazy evaluation
The space cost of lazy reference counting (HJB), pp. 210–219.
SACSAC-2004-AgostaPS #architecture #design #embedded #multi #power management #program transformation #source code
Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems (GA, GP, CS), pp. 891–896.
SACSAC-2004-EggermontKK #classification #clustering #programming #search-based
Genetic Programming for data classification: partitioning the search space (JE, JNK, WAK), pp. 1001–1005.
SACSAC-2004-FujinamiYN #case study #cyber-physical #exclamation #physics #quote
“Take me with you!”: a case study of context-aware application integrating cyber and physical spaces (KF, TY, TN), pp. 1607–1614.
SACSAC-2004-LucchiZ #coordination #data-driven #named #web #web service
WSSecSpaces: a secure data-driven coordination service for Web Services applications (RL, GZ), pp. 487–491.
SACSAC-2004-PanisHLLN #design #embedded #named
DSPxPlore: design space exploration methodology for an embedded DSP core (CP, UH, GL, WL, JN), pp. 876–883.
ISMMISMM-2004-ChenKVI #analysis #embedded #java #optimisation
Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
LCTESLCTES-2004-ScholzHK #optimisation
Optimizing for space and time usage with speculative partial redundancy elimination (BS, RNH, JK), pp. 221–230.
CSLCSL-2004-AvelloneFFM #calculus #implementation #logic #performance
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
LICSLICS-2004-Huth #lts
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.
SATSAT-2004-TangYRM #algorithm #analysis #problem #quantifier #satisfiability
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 214–223.
VMCAIVMCAI-2004-ArthoH
Applying Jlint to Space Exploration Software (CA, KH), pp. 297–308.
DACDAC-2003-Hershenson #design #performance
Efficient description of the design space of analog circuits (MdMH), pp. 970–973.
DACDAC-2003-SoDH #behaviour #design #synthesis #tool support #using
Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DATEDATE-2003-GhoshG #design #embedded
Analytical Design Space Exploration of Caches for Embedded Systems (AG, TG), pp. 10650–10655.
DATEDATE-2003-KandemirCZK #embedded #scheduling
Data Space Oriented Scheduling in Embedded Systems (MTK, GC, WZ, IK), pp. 10416–10421.
DATEDATE-2003-LogothetisS #analysis #source code
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration (GL, KS), pp. 10196–10203.
DATEDATE-2003-LomenaLWK #approach #explosion #performance #scheduling
An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling (AGL, MLLV, YW, AK), pp. 10428–10435.
DATEDATE-2003-RosaLP #configuration management #design #hardware
Hardware/Software Design Space Exploration for a Reconfigurable Processor (ALR, LL, CP), pp. 10570–10575.
DATEDATE-2003-SmedtG #bound #design #named
HOLMES: Capturing the Yield-Optimized Design Space Boundaries of Analog and RF Integrated Circuits (BDS, GGEG), pp. 10256–10263.
DATEDATE-2003-VanzagoBCL #configuration management #design #framework #protocol
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform (LV, BB, JC, LL), pp. 10662–10667.
ICDARICDAR-2003-HaseSYS #recognition
Recognition of Rotated Characters by Eigen-space (HH, TS, MY, CYS), pp. 731–735.
ICDARICDAR-2003-KimMO #algorithm #classification #statistics #word
A Text Watermarking Algorithm based on Word Classification and Inter-word Space Statistics (YWK, KAM, ISO), pp. 775–779.
ICDARICDAR-2003-MenotiBFB #approach #feature model #segmentation
Segmentation of Postal Envelopes for Address Block Location: an approach based on feature selection in wavelet space (DM, DLB, JF, AdSBJ), pp. 699–703.
PODSPODS-2003-HeerenJP #using
Optimal indexing using near-minimal space (CH, HVJ, LP), pp. 244–251.
VLDBVLDB-2003-QianZXP #multi
The ND-Tree: A Dynamic Indexing Technique for Multidimensional Non-ordered Discrete Data Spaces (GQ, QZ, QX, SP), pp. 620–631.
VLDBVLDB-2003-ZhouS #clustering #metric
Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
TACASTACAS-2003-GrooteH #scalability #visualisation
Large State Space Visualization (JFG, FvH), pp. 585–590.
TACASTACAS-2003-Schmidt #invariant #petri net #using
Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
TACASTACAS-2003-StollerC #reduction
Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
IWPCIWPC-2003-NiereWW #reverse engineering #scalability
Handling Large Search Space in Pattern-Based Reverse Engineering (JN, JPW, LW), pp. 274–280.
SASSAS-2003-UnnikrishnanCKKK #requirements
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.
STOCSTOC-2003-AronovKS
Cutting triangular cycles of lines in space (BA, VK, MS), pp. 547–555.
STOCSTOC-2003-CoppersmithS #higher-order #semistructured data
Reconstructing curves in three (and higher) dimensional space from noisy data (DC, MS), pp. 136–142.
STOCSTOC-2003-FatourouFR #bound #implementation #multi
A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.
STOCSTOC-2003-Klauck #quantum #sorting #trade-off
Quantum time-space tradeoffs for sorting (HK), pp. 69–76.
STOCSTOC-2003-OstlinP #constant #linear
Uniform hashing in constant time and linear space (, RP), pp. 622–628.
STOCSTOC-2003-SauerhoffW #bound #graph #integer #multi #trade-off
Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions (MS, PW), pp. 186–195.
STOCSTOC-2003-Thorup03a #performance #query
Space efficient dynamic stabbing with fast queries (MT), pp. 649–658.
DLTDLT-2003-HemaspaandraMT
Computation with Absolutely No Space Overhead (LAH, PM, TT), pp. 325–336.
ICALPICALP-2003-DeanG #algorithm #approximate #scheduling
Improved Approximation Algorithms for Minimum-Space Advertisement Scheduling (BCD, MXG), pp. 1138–1152.
ICALPICALP-2003-Jagerskupper #algorithm #analysis
Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces (JJ), pp. 1068–1079.
FMFME-2003-Lettrari #abstraction #heuristic #object-oriented #using
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
ICFPICFP-2003-Mairson #analysis #game studies #semantics
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis (HGM), p. 125.
AGTIVEAGTIVE-2003-Rensink #generative
The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.
CHICHI-2003-AokiRSTWW #mobile #multi #social
The mad hatter’s cocktail party: a social mobile audio space supporting multiple simultaneous conversations (PMA, MR, MHS, JDT, DW, AW), pp. 425–432.
CHICHI-2003-WilsonS #named #user interface
XWand: UI for intelligent spaces (AW, SAS), pp. 545–552.
CAiSECAiSE-2003-RizziS #constraints #design
View Materialization vs. Indexing: Balancing Space Constraints in Data Warehouse Design (SR, ES), pp. 502–519.
ICEISICEIS-v4-2003-HampelB #documentation #web
Combining Web Based Document Management and Event-Based Systems — Integrating MUDS and MOOS Together with DMS to Form a Cooperative Knowledge Space (TH, TB), pp. 218–223.
ECIRECIR-2003-DohnalGSZ #metric #similarity
Similarity Join in Metric Spaces (VD, CG, PS, PZ), pp. 452–467.
ICMLICML-2003-Flach #comprehension #geometry #machine learning #metric
The Geometry of ROC Space: Understanding Machine Learning Metrics through ROC Isometrics (PAF), pp. 194–201.
ICMLICML-2003-KakadeKL #metric
Exploration in Metric State Spaces (SK, MJK, JL), pp. 306–312.
ICMLICML-2003-MarchandSSS #set
The Set Covering Machine with Data-Dependent Half-Spaces (MM, MS, JST, MS), pp. 520–527.
ICMLICML-2003-Strens #optimisation
Evolutionary MCMC Sampling and Optimization in Discrete Spaces (MJAS), pp. 736–743.
ICMLICML-2003-WuC #adaptation #learning
Adaptive Feature-Space Conformal Transformation for Imbalanced-Data Learning (GW, EYC), pp. 816–823.
OOPSLAOOPSLA-2003-SachindranEM #garbage collection #named #performance
Mark-copy: fast copying GC with less space overhead (NS, JEBM), pp. 326–343.
PPDPPPDP-2003-LiuS #datalog #performance #source code
From datalog rules to efficient programs with time and space guarantees (YAL, SDS), pp. 172–183.
POPLPOPL-2003-HofmannJ #first-order #functional #predict #source code
Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
SACSAC-2003-BusiMMZ #coordination #data-driven #named #network #peer-to-peer
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks (NB, CM, AM, GZ), pp. 380–386.
CGOCGO-2003-TriantafyllisVVA #compilation
Compiler Optimization-Space Exploration (ST, MV, NV, DIA), pp. 204–215.
LCTESLCTES-2003-BaconCR #garbage collection #java #realtime
Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java (DFB, PC, VTR), pp. 81–92.
CADECADE-2003-Cohn #reasoning
Reasoning about Qualitative Representations of Space and Time (AGC), p. 334.
WICSAWICSA-2002-BruinVB #design
Documenting and Analyzing a Context-Sensitive Design Space (HdB, HvV, ZB), pp. 127–141.
DACDAC-2002-BajdechiHG #design
Optimal design of delta-sigma ADCs by design space exploration (OB, JHH, GGEG), pp. 443–448.
DACDAC-2002-KandemirRC #embedded #memory management #multi
Exploiting shared scratch pad memory space in embedded multiprocessor systems (MTK, JR, ANC), pp. 219–224.
DACDAC-2002-LiuSRC #data mining #design #megamodelling #mining #scalability
Remembrance of circuits past: macromodeling by data mining in large analog design spaces (HL, AS, RAR, LRC), pp. 437–442.
DACDAC-2002-Roychowdhury
A time-domain RF steady-state method for closely spaced tones (JSR), pp. 510–513.
DATEDATE-2002-CotaCLO #design #testing
Test Planning and Design Space Exploration in a Core-Based Environment (ÉFC, LC, ML, AO), pp. 478–485.
HTHT-2002-ChambelG #hypermedia
Context perception in video-based hypermedia spaces (TC, NG), pp. 85–94.
ITiCSEITiCSE-2002-RatteC #collaboration #industrial #on the #simulation #using #web
On using the web as a collaboration space in the context of an industrial simulation (SR, JC), pp. 141–145.
ESOPESOP-2002-Kandemir
Data Space Oriented Tiling (MTK), pp. 178–193.
FASEFASE-2002-XieB #design #execution #model checking #object-oriented #reduction
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.
TACASTACAS-2002-GodefroidK #algorithm #scalability #search-based #using
Exploring Very Large State Spaces Using Genetic Algorithms (PG, SK), pp. 266–280.
TACASTACAS-2002-Lowry #analysis #tool support
Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
ICSMEICSM-2002-Nikora #maintenance
Maintenance Issues for Very Long-Lived Robotic Space Systems (APN), p. 471.
WCREWCRE-2002-RillingM #3d #analysis #on the #source code #visual notation
On the Use of Metaballs to Visually Map Source Code Structures and Analysis Results onto 3D Space (JR, SPM), pp. 299–308.
PLDIPLDI-2002-CociorvaBLSRNBH #optimisation #trade-off
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations (DC, GB, CCL, PS, JR, MN, DEB, RJH), pp. 177–186.
PLDIPLDI-2002-SoHD #approach #compilation #design #hardware #performance
A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems (BS, MWH, PCD), pp. 165–176.
STOCSTOC-2002-AryaMM #approximate #diagrams
Space-efficient approximate Voronoi diagrams (SA, TM, DMM), pp. 721–730.
STOCSTOC-2002-BeameV #communication #complexity #multi #nearest neighbour #problem #trade-off
Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems (PB, EV), pp. 688–697.
STOCSTOC-2002-Ben-Sasson #trade-off
Size space tradeoffs for resolution (EBS), pp. 457–464.
STOCSTOC-2002-GilbertGIKMS #algorithm #approximate #maintenance #performance
Fast, small-space algorithms for approximate histogram maintenance (ACG, SG, PI, YK, SM, MS), pp. 389–398.
STOCSTOC-2002-Han #linear #sorting
Deterministic sorting in O(nlog log n) time and linear space (YH), pp. 602–608.
STOCSTOC-2002-SaksS #approximate #bound #data type #distance
Space lower bounds for distance approximation in the data stream model (MES, XS), pp. 360–369.
DLTDLT-2002-SasakiIIW #2d #bound #probability #turing machine
A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines (YS, KI, AI, YW), pp. 185–196.
ICALPICALP-2002-Dalmau #constraints #nondeterminism #problem
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICALPICALP-2002-JakobyL #problem #symmetry
Paths Problems in Symmetric Logarithmic Space (AJ, ML), pp. 269–280.
IFLIFL-2002-HammondM #behaviour #predict
Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
CHICHI-2002-AokiGHSTW #mobile
Sotto voce: exploring the interplay of conversation and mobile audio spaces (PMA, REG, AH, MHS, JDT, AW), pp. 431–438.
CHICHI-2002-JensenDF #online #social
Finding others online: reputation systems for social online spaces (CJ, JD, SF), pp. 447–454.
CSCWCSCW-2002-Bossen #parametricity
The parameters of common information spaces: : the heterogeneity of cooperative work at a hospital ward (CB), pp. 176–185.
CSCWCSCW-2002-KrautGF #development #visual notation
The use of visual information in shared visual spaces: informing the development of virtual co-presence (REK, DG, SRF), pp. 31–40.
CAiSECAiSE-2002-NorrieP #approach #composition #modelling
A Modelling Approach to the Realisation of Modular Information Spaces (MCN, AP), pp. 245–261.
ICEISICEIS-2002-R-MorenoPMMM #testing
Controlling and Testing a Space Instrument by an AI Planner (MRM, MP, DDML, JM, CM), pp. 405–409.
ICMLICML-2002-KleinKM #clustering #constraints #information management
From Instance-level Constraints to Space-Level Constraints: Making the Most of Prior Knowledge in Data Clustering (DK, SDK, CDM), pp. 307–314.
ICMLICML-2002-KondorL #graph #kernel
Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.
ICPRICPR-v1-2002-BingPL
Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.
ICPRICPR-v1-2002-ChengTZ
Fingerprint Enhancement with Dyadic Scale-Space (JC, JT, TZ), pp. 200–203.
ICPRICPR-v1-2002-CoquinBI #difference #metric
Dissimilarity Measures in Color Spaces (DC, PB, BI), pp. 612–615.
ICPRICPR-v1-2002-OsarehMTM #comparison #image #locality
Comparison of Colour Spaces for Optic Disc Localisation in Retinal Images (AO, MM, BTT, RM), pp. 743–746.
ICPRICPR-v1-2002-ShakunagaS #image #normalisation
Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPRICPR-v1-2002-SinghMS #analysis #dependence #image
Colour Image Texture Analysis: Dependence on Colour Spaces (MS, MM, SS), pp. 672–675.
ICPRICPR-v1-2002-TorselloH
Shape-Space from Tree-Union (AT, ERH), pp. 188–191.
ICPRICPR-v2-2002-BarataP #classification #clustering #modelling #set #using
Improving Classification Rates by Modelling the Clusters of Trainings Sets in Features Space Using Mathematical Morphology Operators (TB, PP), pp. 328–331.
ICPRICPR-v2-2002-BressonVT #geometry
Geometric Moments in Scale-Spaces (XB, PV, JPT), pp. 418–421.
ICPRICPR-v2-2002-ChangCH #recognition #using
Hand Pose Recognition Using Curvature Scale Space (CCC, IYC, YSH), pp. 386–389.
ICPRICPR-v2-2002-MottlSDKM #pattern matching #pattern recognition #recognition
Featureless Pattern Recognition in an Imaginary Hilbert Space (VM, OS, SD, CAK, IBM), pp. 88–91.
ICPRICPR-v2-2002-PopoviciT
PCA in Autocorrelation Space (VP, JPT), pp. 132–135.
ICPRICPR-v3-2002-FataichaCNS #analysis #approach #documentation #image
Content Analysis in Document Images: A Scale Space Approach (YF, MC, JYN, CYS), pp. 335–338.
ICPRICPR-v3-2002-SuriLSL #3d #automation
Automatic Local Effect of Window/Level on 3-D Scale-Space Ellipsoidal Filtering on Run-Off-Arteries from White Blood Magnetic Resonanc Angiography (JSS, KL, SS, SL), pp. 899–902.
ICPRICPR-v4-2002-BarataP02a #classification #clustering #modelling #set #using
Improving Classification Rates by Modelling the Clusters of Trainings Sets in Features Space Using Mathematical Morphology Operators (TB, PP), pp. 90–93.
ICPRICPR-v4-2002-KangCM #estimation #image #robust #using
Robust Affine Motion Estimation in Joint Image Space Using Tensor Voting (EYEK, IC, GGM), pp. 256–259.
ICPRICPR-v4-2002-MizoguchiS #invariant #video
Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.
ICPRICPR-v4-2002-Syeda-Mahmood
Segmenting Actions in Velocity Curve Space (TFSM), p. 170–?.
ICPRICPR-v4-2002-Yang02a
Tetrahedron Mapping of Points from N-Space to Three-Space (LY), p. 343–?.
KDDKDD-2002-KeoghLC #database #linear
Finding surprising patterns in a time series database in linear time and space (EJK, SL, BYcC), pp. 550–556.
KDDKDD-2002-KolczSK #classification #performance #random
Efficient handling of high-dimensional feature spaces by randomized classifier ensembles (AK, XS, JKK), pp. 307–313.
SIGIRSIGIR-2002-ChenLS #predict
Predicting category accesses for a user in a structured information space (MC, ASL, JPS), pp. 65–72.
ECOOPECOOP-2002-BaconFG #implementation #java
Space- and Time-Efficient Implementation of the Java Object Model (DFB, SJF, DG), pp. 111–132.
OOPSLAOOPSLA-2002-ZibinG #algorithm #multi #performance
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching (YZ, JYG), pp. 142–160.
POPLPOPL-2002-Boehm #bound #garbage collection
Bounding space usage of conservative garbage collectors (HJB), pp. 93–100.
SACSAC-2002-BesnardL #constraints #design #identification #industrial #lessons learnt #optimisation #re-engineering #reuse
Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse (DB, ATL), pp. 732–738.
SACSAC-2002-HoomanP #architecture #distributed #replication #verification
Formal verification of replication on a distributed data space architecture (JH, JvdP), pp. 351–358.
SACSAC-2002-ObreiterG #scalability #towards #tuple
Towards scalability in tuple spaces (PO, GG), pp. 344–350.
SACSAC-2002-WangDGS
Hyperrelations in version space (HW, ID, GG, AS), pp. 514–518.
HPDCHPDC-2002-GardnerFF #grid #performance
Dynamic Right-Sizing in FTP (drsFTP): Enhancing Grid Performance in User-Space (MKG, WcF, MF), pp. 42–49.
ISMMISMM-2002-ShahamKS #impact analysis #java #liveness
Estimating the impact of heap liveness information on space consumption in Java (RS, EKK, SS), pp. 171–182.
LCTESLCTES-SCOPES-2002-MohantyPND #agile #design #embedded #multi #simulation #using
Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation (SM, VKP, SN, JRD), pp. 18–27.
LCTESLCTES-SCOPES-2002-PalemRMKP #design #embedded #memory management #optimisation
Design space optimization of embedded memory systems via data remapping (KVP, RMR, VJM, PK, KP), pp. 28–37.
CAVCAV-2002-BlomP #confluence #proving #reduction
State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
DACDAC-2001-BruniBB #design #statistics #synthesis
Statistical Design Space Exploration for Application-Specific Unit Synthesis (DB, AB, LB), pp. 641–646.
DACDAC-2001-KandemirRIVKP #memory management
Dynamic Management of Scratch-Pad Memory Space (MTK, JR, MJI, NV, IK, AP), pp. 690–695.
DACDAC-2001-WangRLJ #adaptation #design #energy #optimisation #performance
Input Space Adaptive Design: A High-level Methodology for Energy and Performance Optimization (WW, AR, GL, NKJ), pp. 738–743.
DATEDATE-2001-NicoliciA #3d #design #testing #trade-off
Testability trade-offs for BIST RTL data paths: the case for three dimensional design space (NN, BMAH), p. 802.
HTHT-2001-WealHMM #hypermedia #interface #ontology
Open hypermedia as a navigational interface to ontological information spaces (MJW, GVH, DEM, LM), pp. 227–236.
HTHT-2001-Whitehead #design #version control
Design spaces for link and structure versioning (EJWJ), pp. 195–204.
VLDBVLDB-2001-BrownG #image #prototype #retrieval
A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space (LB, LG), pp. 693–694.
ITiCSEITiCSE-2001-CiesielskiM #algorithm #animation #learning #student #using
Using animation of state space algorithms to overcome student learning difficulties (VC, PM), pp. 97–100.
TACASTACAS-2001-ChristensenKM
A Sweep-Line Method for State Space Exploration (SC, LMK, TM), pp. 450–464.
TACASTACAS-2001-CiardoLS #generative #named #performance
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.
ICSMEICSM-2001-ZelkowitzR #independence #maintenance #safety #validation #verification
The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 118–126.
PLDIPLDI-2001-ShahamKS #java #profiling
Heap Profiling for Space-Efficient Java (RS, EKK, SS), pp. 104–113.
STOCSTOC-2001-BartalCR #approximate #clustering #metric
Approximating min-sum k-clustering in metric spaces (YB, MC, DR), pp. 11–20.
ICALPICALP-2001-BuhrmanTV #bound #simulation
Time and Space Bounds for Reversible Simulation (HB, JT, PMBV), pp. 1017–1027.
ICALPICALP-2001-EtessamiWS #automaton #game studies #reduction #simulation
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (KE, TW, RAS), pp. 694–707.
ICFPICFP-2001-GustavssonS #call-by
Possibilities and Limitations of Call-by-Need Space Improvement (JG, DS), pp. 265–276.
CHICHI-2001-CravenTDPGBFBJLH
Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds (MPC, IT, AD, JP, CG, SB, MF, JB, KMJA, BL, MH), pp. 30–37.
CHICHI-2001-JanckeVGCG #social
Linking public spaces: technical and social issues (GJ, GDV, JG, JJC, AG), pp. 530–537.
CIKMCIKM-2001-MokbelA #database #multi
Irregularity in Multi-Dimensional Space-Filling Curves with Applications in Multimedia Databases (MFM, WGA), pp. 512–519.
ICMLICML-2001-KramerR
Feature Construction with Version Spaces for Biochemical Applications (SK, LDR), pp. 258–265.
KDDKDD-2001-DittrichS #algorithm #mining #named #scalability #set
GESS: a scalable similarity-join algorithm for mining large data sets in high dimensional spaces (JPD, BS), pp. 47–56.
KDDKDD-2001-KnorrNZ #robust
Robust space transformations for distance-based operations (EMK, RTN, RHZ), pp. 126–135.
MLDMMLDM-2001-MottlDSKM #classification #pattern matching #pattern recognition #recognition
Featureless Pattern Recognition in an Imaginary Hilbert Space and Its Application to Protein Fold Classification (VM, SD, OS, CAK, IBM), pp. 322–336.
SIGIRSIGIR-2001-GodaKTFC #optimisation #problem #query
Query Optimization for Vector Space Problems (KG, MK, TT, OF, AC), pp. 416–417.
SIGIRSIGIR-2001-SongB #concept #data flow #information management #using
Discovering Information Flow Using a High Dimensional Conceptual Space (DS, PB), pp. 327–333.
SIGIRSIGIR-2001-VoKM #effectiveness #ranking #termination
Vector-Space Ranking with Effective Early Termination (VNA, OdK, AM), pp. 35–42.
PPDPPPDP-2001-SchulteS #bound #question
When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
PADLPADL-2001-NogueiraBGWB #prolog
An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
SACSAC-2001-SongNC #similarity
A cell-based index structure for similarity search in high-dimensional feature spaces (KTS, HJN, JWC), pp. 264–268.
FSEESEC-FSE-2001-DickinsonLP
Pursuing failure: the distribution of program failures in a profile space (WD, DL, AP), pp. 246–255.
ICSEICSE-2001-ZelkowitzR #comprehension #safety
Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 349–357.
HPDCHPDC-2001-FrumkinW #benchmark #grid #metric
NAS Grid Benchmarks: A Tool for Grid Space Exploration (MAF, RFVdW), p. 315–?.
ICLPICLP-2001-Colmerauer #approximate #constraints #multi
Solving the Multiplication Constraint in Several Approximation Spaces (AC), p. 1.
TLCATLCA-2001-Hofmann #behaviour #bound #complexity #memory management #type system
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour (MH0), pp. 2–3.
ASEASE-2000-ChaudetO #algebra #architecture #evolution #named #process
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.
DACDAC-2000-HsiehBLS #design #embedded #performance
Efficient methods for embedded system design space exploration (HH, FB, LL, ALSV), pp. 607–612.
DACDAC-2000-JongeneelWBO
Area and search space control for technology mapping (DJJ, YW, RKB, RHJMO), pp. 86–91.
DATEDATE-2000-YalagandulaAS #automation #generative
Automatic Lighthouse Generation for Directed State Space Search (PY, AA, VS), pp. 237–242.
DATEDATE-2000-ZivkovicTK #architecture #design
Design and Test Space Exploration of Transport-Triggered Architectures (VAZ, RJWTT, HGK), pp. 146–151.
SIGMODSIGMOD-2000-AggarwalY #clustering
Finding Generalized Projected Clusters In High Dimensional Spaces (CCA, PSY), pp. 70–81.
VLDBVLDB-2000-ChakrabartiM #approach #reduction
Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
VLDBVLDB-2000-GoldsteinR #nearest neighbour
Contrast Plots and P-Sphere Trees: Space vs. Time in Nearest Neighbour Searches (JG, RR), pp. 429–440.
VLDBVLDB-2000-HinneburgAK #nearest neighbour #question #what
What Is the Nearest Neighbor in High Dimensional Spaces? (AH, CCA, DAK), pp. 506–515.
VLDBVLDB-2000-SakuraiYUK #approximate #using
The A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation (YS, MY, SU, HK), pp. 516–526.
VLDBVLDB-2000-ShahabiFKF #interactive #named #web
INSITE: A Tool for Interpreting Users? Interaction with a Web Space (CS, AF, FBK, JF), pp. 635–638.
ITiCSEITiCSE-2000-WuZ #fuzzy #problem
Embedding problem of noncompact fuzzy number space E~ (II) (CW, BZ), pp. 135–142.
ESOPESOP-2000-Hofmann #bound #functional #type system
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
TACASTACAS-2000-KrimmM #communication #composition #generative #partial order #reduction
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.
STOCSTOC-2000-AlekhnovichBRW #calculus #complexity
Space complexity in propositional calculus (MA, EBS, AAR, AW), pp. 358–367.
ICALPICALP-2000-CsirikW #bound #online
Resource Augmentation for Online Bounded Space Bin Packing (JC, GJW), pp. 296–304.
ICALPICALP-2000-Seiden #algorithm #bound #online
An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing (SSS), pp. 283–295.
IFLIFL-2000-Hammond #behaviour #bound #concurrent
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour (KH), pp. 122–139.
CHICHI-2000-IsbisterNIN #design #interactive
Helper agent: designing an assistant for human-human interaction in a virtual meeting space (KI, HN, TI, CN), pp. 57–64.
CHICHI-2000-SmithFD #chat #social #visual notation
The social life of small graphical chat spaces (MAS, SF, SMD), pp. 462–469.
CHICHI-2000-TaylorR #communication #consistency #semantics #using
Gaze communication using semantically consistent spaces (MJT, SMR), pp. 400–407.
CIKMCIKM-2000-BellatrecheKS #on the #performance
On Efficient Storage Space Distribution Among Materialized Views and Indices in Data Warehousing Environments (LB, KK, MS), pp. 397–404.
CIKMCIKM-2000-Koudas #performance
Space Efficient Bitmap Indexing (NK), pp. 194–201.
ICMLICML-2000-LauDW #algebra #programming
Version Space Algebra and its Application to Programming by Demonstration (TAL, PMD, DSW), pp. 527–534.
ICMLICML-2000-LiRD #algorithm #incremental #maintenance
The Space of Jumping Emerging Patterns and Its Incremental Maintenance Algorithms (JL, KR, GD), pp. 551–558.
ICMLICML-2000-PaccanaroH #concept #distributed #learning #linear
Learning Distributed Representations by Mapping Concepts and Relations into a Linear Space (AP, GEH), pp. 711–718.
ICMLICML-2000-SmartK #learning
Practical Reinforcement Learning in Continuous Spaces (WDS, LPK), pp. 903–910.
ICMLICML-2000-VijayakumarS #incremental #learning #realtime
Locally Weighted Projection Regression: Incremental Real Time Learning in High Dimensional Space (SV, SS), pp. 1079–1086.
ICPRICPR-v1-2000-BerensF
Log-Opponent Chromaticity Coding of Color Space (JB, GDF), pp. 1206–1211.
ICPRICPR-v1-2000-FlorianiMP #3d #online
On-line Space Sculpturing for 3D Shape Manipulation (LDF, PM, EP), pp. 1105–1108.
ICPRICPR-v1-2000-LiuW #learning #recognition #representation
Learning the Face Space — Representation and Recognition (CL, HW), pp. 1249–1256.
ICPRICPR-v1-2000-RavyseSCR #composition #detection #process #recognition #using
Eye Activity Detection and Recognition Using Morphological Scale-Space Decomposition (IR, HS, JC, MJTR), pp. 5080–5083.
ICPRICPR-v1-2000-TerazonoMI #representation
Shadow Representation of Image-Based Objects in Virtual Space (KT, YM, SI), pp. 5003–5006.
ICPRICPR-v2-2000-Duin #classification
Classifiers in Almost Empty Spaces (RPWD), pp. 2001–2007.
ICPRICPR-v2-2000-Fursov #pattern matching #pattern recognition #recognition #using
Training in Pattern Recognition from a Small Number of Observations Using Projections onto Null-Space (VAF), pp. 2785–2788.
ICPRICPR-v2-2000-MutoNH #classification #evaluation
Evaluation of a Modified Parzen Classifier in High Dimensional Spaces (YM, HN, YH), pp. 2067–2070.
ICPRICPR-v2-2000-SongR #image
A Feature Space for Face Image Processing (QS, JR), pp. 2097–2100.
ICPRICPR-v2-2000-TangXM00a #classification
Two-Step Classification Based on Scale Space (MT, JX, SM), pp. 2899–2902.
ICPRICPR-v3-2000-BulowK #algorithm
Rubber Band Algorithm for Estimating the Length of Digitized Space-Curves (TB, RK), pp. 3551–3555.
ICPRICPR-v3-2000-ChantlerM #classification #invariant #on the
On the Use of Gradient Space Eigenvalues for Rotation Invariant Texture Classification (MJC, GM), pp. 3943–3946.
ICPRICPR-v3-2000-Ichimura #feature model #segmentation #using
Motion Segmentation Using Feature Selection and Subspace Method Based on Shape Space (NI), pp. 3858–3864.
ICPRICPR-v3-2000-VandenbrouckeMP #classification #image #segmentation
Color Image Segmentation by Supervised Pixel Classification in a Color Texture Feature Space: Application to Soccer Image Segmentation (NV, LM, JGP), pp. 3625–3628.
ICPRICPR-v3-2000-VertanB #classification #normalisation #representation
Color Texture Classification by Normalized Color Space Representation (CV, NB), pp. 3584–3587.
ICPRICPR-v3-2000-WilkinsonRDB #analysis #using
Diatom Contour Analysis Using Morphological Curvature Scale Spaces (MHFW, JBTMR, SD, MB), pp. 3656–3659.
ICPRICPR-v4-2000-KawataNOKKKMMNE #analysis
Computerized Analysis of Pulmonary Nodules in Topological and Histogram Feature Spaces (YK, NN, HO, RK, MK, MK, NM, KM, HN, KE), pp. 4332–4335.
ICPRICPR-v4-2000-SekiguchiE #generative #performance
Generating the Human Piano Performance in Virtual Space (HS, SE), pp. 4477–4481.
KDDKDD-2000-AggarwalY #similarity
The IGrid index: reversing the dimensionality curse for similarity indexing in high dimensional space (CCA, PSY), pp. 119–129.
KRKR-2000-Galton
Continuous Motion in Discrete Space (AG), pp. 26–37.
SIGIRSIGIR-2000-Ando #metric #precise #scalability #semantics #similarity
Latent semantic-space: iterative scaling improves precision of inter-document similarity measurement (RKA), pp. 216–223.
SIGIRSIGIR-2000-PremingerD #documentation #interactive #named #retrieval #user interface #visual notation
Uexküll: an interactive visual user interface for document retrieval in vector space (MP, SD), p. 392.
SIGIRSIGIR-2000-SoboroffN #collaboration
Collaborative filtering and the generalized vector space model (IS, CKN), pp. 351–353.
PPDPPPDP-2000-BakewellR #lazy evaluation
A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.
REICRE-2000-BaumBGM #component #design #requirements #reuse #using
Mapping Requirements to Reusable Components Using Design Spaces (LB, MB, LG, GM), pp. 159–167.
SACSAC-2000-MinskyMU #distributed #tuple
Making Tuple Spaces Safe for Heterogeneous Distributed Systems (NHM, YM, VU), pp. 218–226.
SACSAC-2000-Rowstron #comprehension #optimisation
Optimising the Linda in Primitive: Understanding Tuple-Space Run-times (AITR), pp. 227–232.
LCTESLCTES-2000-KandemirVIK #energy #towards
Towards Energy-Aware Iteration Space Tiling (MTK, NV, MJI, HSK), pp. 211–215.
CSLCSL-2000-BauerB #dependent type
Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.
CSLCSL-2000-Hemaspaandra #linear #satisfiability
Modal Satisfiability Is in Deterministic Linear Space (EH), pp. 332–342.
DACDAC-1999-DoboliNDGV #behaviour #design #synthesis #using
Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration (AD, ANA, NRD, SG, RV), pp. 951–957.
DACDAC-1999-GunupudiN #using
Model-Reduction of Nonlinear Circuits Using Krylov-Space Techniques (PKG, MSN), pp. 13–16.
DACDAC-1999-HuGRQ #design #framework
A Framework for User Assisted Design Space Exploration (XH, GWG, SR, GQ), pp. 414–419.
DACDAC-1999-KinLMP #design #performance
Power Efficient Mediaprocessors: Design Space Exploration (JK, CL, WHMS, MP), pp. 321–326.
DATEDATE-1999-JacomePRL #design
The Design Space Layer: Supporting Early Design Space Exploration for Core-Based Designs (MFJ, HPP, AR, JCL), pp. 676–683.
DATEDATE-1999-KaulV #clustering #design #latency #runtime
Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs (MK, RV), pp. 202–209.
DATEDATE-1999-KonijnenburgLG #generative #identification #testing
Illegal State Space Identification for Sequential Circuit Test Generation (MHK, JTvdL, AJvdG), pp. 741–746.
ICDARICDAR-1999-BippusM #2d #recognition #reduction #using
Script Recognition using Inhomogeneous P2DHMM and Hierarchical Search Space Reduction (RDB, VM), pp. 773–776.
ICDARICDAR-1999-RemakiC #documentation #image #kernel #product line #using #visual notation
Visual Data Extraction from Bi-level Document Images using a Generalized Kernel Family with Compact Support, in Scale-Space (LR, MC), pp. 609–612.
SIGMODSIGMOD-1999-MankuRL #dataset #online #order #performance #random #scalability #statistics
Random Sampling Techniques for Space Efficient Online Computation of Order Statistics of Large Datasets (GSM, SR, BGL), pp. 251–262.
VLDBVLDB-1999-Pound
In Cyber Space No One can Hear You Scream (CP), pp. 207–210.
PLDIPLDI-1999-BlellochC #bound #garbage collection #multi #on the
On Bounding Time and Space for Multiprocessor Garbage Collection (GEB, PC), pp. 104–117.
SASSAS-1999-BozgaFG #analysis #reduction
State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
STOCSTOC-1999-BorodinOR99a #algorithm #approximate #clustering #problem
Subquadratic Approximation Algorithms for Clustering Problems in High Dimensional Spaces (AB, RO, YR), pp. 435–444.
STOCSTOC-1999-Gupta #metric
Embedding Tree Metrics Into Low Dimensional Euclidean Spaces (AG), pp. 694–700.
STOCSTOC-1999-Indyk #algorithm #metric #problem #sublinear
Sublinear Time Algorithms for Metric Space Problems (PI), pp. 428–434.
STOCSTOC-1999-RazR #bound #on the
On Recycling the Randomness of States in Space Bounded Computation (RR, OR), pp. 159–168.
PLDIBest-of-PLDI-1999-BlellochC99a #bound #garbage collection #multi #on the
On bounding time and space for multiprocessor garbage collection (with retrospective) (GEB, PC), pp. 626–641.
FLOPSFLOPS-1999-JohnsonRRR #evaluation #logic programming #performance #source code
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs (EJ, CRR, IVR, PR), pp. 284–300.
FLOPSFLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
ICALPICALP-1999-DodisK #graph #trade-off
Space Time Tradeoffs for Graph Properties (YD, SK), pp. 291–300.
FMFM-v1-1999-ConquetM #automation #design #testing
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project (EC, JLM), pp. 57–75.
ICFPICFP-1999-HughesP #bound #embedded #ml #programming #recursion #towards
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
CHICHI-1999-QuintanaECWS #analysis #case study #design #named #process
Symphony: A Case Study in Extending Learner-Centered Design through Process Space Analysis (CQ, JE, AC, HKW, ES), pp. 473–480.
CHICHI-1999-RekimotoS #hybrid
Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
CHICHI-1999-SingerHSW #less is more
Tangible Progress: Less is More in Somewire Audio Spaces (AS, DH, LS, SW), pp. 104–111.
HCIHCI-CCAD-1999-AntonaAS #approach #design #grammarware #human-computer
A grammar-based approach for populating HCI design spaces (MA, DA, CS), pp. 843–847.
HCIHCI-CCAD-1999-ElzerK #visualisation
Visualization of scientific information in a virtual information space (PFE, UK), pp. 122–126.
HCIHCI-CCAD-1999-NealI #case study #distance #education #experience #learning
Asynchronous distance learning for corporate education: experiences with Lotus LearningSpace (LN, DI), pp. 750–754.
HCIHCI-CCAD-1999-WagnerBMS #architecture #collaboration #design
Spaces for creating context & awareness — designing a collaborative virtual work space for (landscape) architects (IW, MB, PM, DS), pp. 283–287.
HCIHCI-EI-1999-ChenL #development #interface #multi
Development of an Interface for Computing and Analyzing Multidimensional Perceptual Space (LLC, JWL), pp. 621–625.
HCIHCI-EI-1999-Zerweck #multi
Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.
ICEISICEIS-1999-MarcosBGTF
Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.
SIGIRSIGIR-1999-TurpinM #information retrieval #statistics
Statistical Phrases for Vector-Space Information Retrieval (poster abstract) (AT, AM), pp. 309–310.
OOPSLAOOPSLA-1999-SweeneyG #inheritance #layout #memory management #multi
Space and Time-Efficient Memory Layout for Multiple Inheritance (PFS, JYG), pp. 256–275.
PADLPADL-1999-Watson
An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.
RERE-1999-WielsE #formal method #modelling #using
Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
ICSEICSE-1999-BriandEW #cost analysis
Explaining the Cost of European Space and Military Projects (LCB, KEE, IW), pp. 303–312.
LCTESLCTES-1999-CooperSS #algorithm #optimisation #search-based #using
Optimizing for Reduced Code Space using Genetic Algorithms (KDC, PJS, DS), pp. 1–9.
PPoPPPPoPP-1999-RamachandranNHRK #abstraction #interactive #memory management #parallel #programming
Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications (UR, RSN, NH, JMR, KK), pp. 183–192.
CADECADE-1999-Tobies #algorithm #logic
A PSpace Algorithm for Graded Modal Logic (ST), pp. 52–66.
CAVCAV-1999-BrunsG #logic #model checking
Model Checking Partial State Spaces with 3-Valued Temporal Logics (GB, PG), pp. 274–287.
CSLCSL-1999-Toran #bound
Lower Bounds for Space in Resolution (JT), pp. 362–373.
LICSLICS-1999-DevarajanHPP #linear #logic #multi
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
DACDAC-1998-KarkowskiC #algorithm #design #embedded #multi
Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design (IK, HC), pp. 82–87.
DACDAC-1998-YangD #validation
Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.
DATEDATE-1998-ArsintescuO #constraints #layout
Constraints Space Management for the Layout of Analog IC’s (BGA, RHJMO), pp. 971–972.
DATEDATE-1998-Eijk #equivalence #traversal
Sequential Equivalence Checking without State Space Traversal (CAJvE), pp. 618–623.
DATEDATE-1998-GerlachR #design #estimation #scalability
A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment (JG, WR), pp. 226–231.
DATEDATE-1998-SrinivasanRV #clustering #design #hardware
Hardware Software Partitioning with Integrated Hardware Design Space Exploration (VS, SR, RV), pp. 28–35.
HTHT-1998-HayashiNHTHG #documentation #thread
Temporally Threaded Workspace: A Model for Providing Activity-Based Perspectives on Document Spaces (KH, TN, TH, MT, SH, SG), pp. 87–96.
PODSPODS-1998-CiacciaPZ #cost analysis #metric #query #similarity
A Cost Model for Similarity Queries in Metric Spaces (PC, MP, PZ), pp. 59–68.
VLDBVLDB-1998-WeberSB #analysis #performance
A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces (RW, HJS, SB), pp. 194–205.
PLDIPLDI-1998-Clinger #performance #recursion
Proper Tail Recursion and Space Efficiency (WDC), pp. 174–185.
STOCSTOC-1998-KushilevitzOR #approximate #nearest neighbour #performance
Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces (EK, RO, YR), pp. 614–623.
ICALPICALP-1998-HertlingW
Randomness Spaces (PH, KW), pp. 796–807.
CHICHI-1998-AbramsBC #web
Information Archiving with Bookmarks: Personal Web Space Construction and Organization (DA, RB, MHC), pp. 41–48.
CHICHI-1998-MackayFFM #artificial reality #design
Reinventing the Familiar: Exploring an Augmented Reality Design Space for Air Traffic Control (WEM, ALF, LF, LM), pp. 558–565.
CHICHI-1998-SchianoW #people
The First Noble Truth of CyberSpace: People are People (even when they MOO) (DJS, SW), pp. 352–359.
CSCWCSCW-1998-RamdunyDR #design
Exploring the Design Space for Notification Servers (DR, AJD, TR), pp. 227–235.
CSCWCSCW-1998-SmithHH #flexibility
Supporting Flexible Roles in a Shared Space (RBS, RH, BH), pp. 197–206.
CSCWCSCW-1998-ZhaoS #image
Evaluating Image Filtering Based Techniques in Media Space Applications (QAZ, JTS), pp. 11–18.
CAiSECAiSE-1998-PapazoglouM #multi #network
Content-Based Organization of the Information Space in Multi-Database Networks (MPP, SM), pp. 251–272.
CIKMCIKM-1998-ThomasianCL #approximate #clustering #composition
Clustering and Singular Value Decomposition for Approximate Indexing in High Dimensional Spaces (AT, VC, CSL), pp. 201–207.
ICMLICML-1998-CristianiniSS #classification #scalability
Bayesian Classifiers Are Large Margin Hyperplanes in a Hilbert Space (NC, JST, PS), pp. 109–117.
ICMLICML-1998-MargaritisT #3d #image #learning #sequence
Learning to Locate an Object in 3D Space from a Sequence of Camera Images (DM, ST), pp. 332–340.
ICPRICPR-1998-BrucksteinHHN #3d #estimation
New devices for 3D pose estimation: mantis eyes, Agann paintings, sundials, and other space fiducials (AMB, RJH, TSH, ANN), pp. 305–309.
ICPRICPR-1998-LimC #database #generative #multi #network
Neural network based feature space generation for multiple databases of handwritten numerals (KTL, SIC), pp. 375–377.
ICPRICPR-1998-MaeS #3d
Tracking moving object in 3-D space based on optical flow and edges (YM, YS), pp. 1439–1441.
ICPRICPR-1998-MokhtarianS #detection #image #robust
Curvature scale space for robust image corner detection (FM, RS), pp. 1819–1821.
ICPRICPR-1998-NishikawaOM #3d #using
Selective acquisition of 3-D information enough for finding passable free spaces using an active stereo vision system (AN, AO, FM), pp. 857–861.
ICPRICPR-1998-SilvaS #estimation
Egomotion estimation on a topological space (CS, JSV), pp. 64–66.
ICPRICPR-1998-ToepferWBN #detection #navigation
Robot navigation by combining central and peripheral optical flow detection on a space-variant map (CT, MW, GB, HN), pp. 1804–1807.
ASPLOSASPLOS-1998-LeeBFSBSA #parallel #scheduling
Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine (WL, RB, MF, DS, JB, VS, SPA), pp. 46–57.
HPDCHPDC-1998-GianniniC #architecture #clustering #communication #performance
A Software Architecture for Global Address Space Communication on Clusters: Put/Get on Fast Messages (LAG, AAC), pp. 330–337.
HPDCHPDC-1998-GoddardS #generative #named
ToolSpace: A Next Generation Computing Environment (TG, VSS), pp. 356–357.
ISMMISMM-1998-HicksHMN #case study #scalability
A Study of Large Object Spaces (MWH, LH, JTM, SN), pp. 138–145.
CAVCAV-1998-WolperB #infinity #verification
Verifying Systems with Infinite but Regular State Spaces (PW, BB), pp. 88–97.
ICLPJICSLP-1998-DecorteS #analysis #termination
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space (SD, DDS), pp. 235–249.
DACDAC-1997-LevitanMKRCFM #design
Computer-Aided Design of Free-Space Opto-Electronic Systems (SPL, PJM, TPK, MAR, DMC, CF, FBM), pp. 768–773.
DACDAC-1997-PotkonjakKK #behaviour #case study #design
Methodology for Behavioral Synthesis-Based Algorithm-Level Design Space Exploration: DCT Case Study (MP, KK, RK), pp. 252–257.
HTHT-1997-WangH #process
Supporting User-defined Activity Spaces (WW, JMH), pp. 112–123.
ICDARICDAR-1997-Antonacopoulos #estimation
Local Skew Angle Estimation from Background Space in Text Regions (AA), pp. 684–688.
ICDARICDAR-1997-TsudaM #classification #parametricity
A Nonparametric Density Model for Classification in a High Dimensional Space (KT, MM), pp. 1082–1087.
PODSPODS-1997-BerchtoldBKK #cost analysis #nearest neighbour
A Cost Model For Nearest Neighbor Search in High-Dimensional Data Space (SB, CB, DAK, HPK), pp. 78–86.
SIGMODSIGMOD-1997-BozkayaO #metric
Distance-Based Indexing for High-Dimensional Metric Spaces (TB, ZMÖ), pp. 357–368.
VLDBVLDB-1997-CiacciaPZ #metric #named #performance #similarity
M-tree: An Efficient Access Method for Similarity Search in Metric Spaces (PC, MP, PZ), pp. 426–435.
VLDBVLDB-1997-GarofalakisI #optimisation #parallel #query #scheduling
Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources (MNG, YEI), pp. 296–305.
TACASTACAS-1997-KrimmM #composition #generative #source code
Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.
TACASTACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability
Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.
SASSAS-1997-Frey #polynomial #type system
Satisfying Subtype Inequalities in Polynomial Space (AF), pp. 265–277.
STOCSTOC-1997-Clarkson #metric #nearest neighbour #query
Nearest Neighbor Queries in Metric Spaces (KLC), pp. 609–617.
STOCSTOC-1997-IndykMRV #multi
Locality-Preserving Hashing in Multidimensional Spaces (PI, RM, PR, SV), pp. 618–625.
ICALPICALP-1997-KhasidashviliG #geometry #orthogonal #reduction
The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
CHICHI-1997-FitzmauriceB #empirical #evaluation #multi #towards #user interface
An Empirical Evaluation of Graspable User Interfaces: Towards Specialized, Space-Multiplexed Input (GWF, WB), pp. 43–50.
CHICHI-1997-KobayashiS
Dynamic Soundscape: Mapping Time to Space for Audio Browsing (MK, CS), pp. 194–201.
HCIHCI-CC-1997-Bannon
The Role of Common Information Spaces in CSCW (LJB), pp. 317–320.
HCIHCI-CC-1997-BillinghurstBMW #collaboration
Shared Space: Collaborative Information Spaces (MB, SB, EM, SW), pp. 7–10.
HCIHCI-CC-1997-GrinchenkoSLM #integration
Integration of Ukraine into Informational World Space: WWW Presentation Systems (TG, AAS, AL, VM), pp. 109–112.
HCIHCI-CC-1997-PerusichM #fuzzy #problem #using
Using Fuzzy Cognitive Maps to Define the Search Space in Problem Solving (KP, MDM), pp. 805–808.
HCIHCI-CC-1997-SoongB #visual notation
Some Experimental Suggestions to Assist the Visually Handicapped End-Users to Navigate the Information Space (NLS, GB), pp. 433–436.
HCIHCI-SEC-1997-BaconS #3d #representation
Hybridization of Classical Documentary Techniques and Techniques of Three Dimensional Representation in Space: Dynamical Constitution of Virtual Scenes (JB, XS), pp. 925–928.
HCIHCI-SEC-1997-ChurchillSBD #3d #documentation #using
Using VR-VIBE: Browsing and Searching for Documents in 3D-Space (EFC, DS, SB, PD), pp. 857–860.
HCIHCI-SEC-1997-HondaKTOOM
A Virtual Office Environment for Supporting Informal Communications and Securing Personal Space (SH, TK, HT, TO, KiO, YM), pp. 909–912.
HCIHCI-SEC-1997-Mizuno #analysis
Conjoint Analysis of Consumer Preferences in Cyber Space (MM), pp. 475–478.
HCIHCI-SEC-1997-PedottiFB
Human Motor Strategies in Long Term Space Flights (AP, GF, GB), pp. 1009–1012.
HCIHCI-SEC-1997-SadakataYTH
CyberForum on InterSpace (TS, TY, TT, HH), pp. 375–378.
HCIHCI-SEC-1997-SinghSD #community #network
A Model of the Informational Affordances of Media Spaces in Community Networks (DTS, PPS, JD), pp. 819–822.
HCIHCI-SEC-1997-SugimotoKT
A System for Exploring Information Spaces (MS, NK, AT), pp. 759–762.
CIKMCIKM-1997-LundquistGF #feedback
Improving Relevance Feedback in the Vector Space Model (CL, DAG, OF), pp. 16–23.
PPDPPLILP-1997-AntoyA
Narrowing the Narrowing Space (SA, ZMA), pp. 1–15.
ICSEICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
HPCAHPCA-1997-StrickerG #memory management #parallel #performance
Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems (TS, TRG), pp. 168–179.
PPoPPPPoPP-1997-FuY #execution #parallel #performance
Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.
PPoPPPPoPP-1997-JiangS #parallel
Parallel Shear-Warp Volume Rendering on Shared Address Space Multiprocessors (DJ, JPS), pp. 252–263.
PPoPPPPoPP-1997-LimCCE #communication #performance
Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems (BHL, CCC, GC, TvE), pp. 230–239.
PPoPPPPoPP-1997-NarlikarB #implementation #parallel
Space-Efficient Implementation of Nested Parallelism (GJN, GEB), pp. 25–36.
CAVCAV-1997-AlurBHQR #partial order #reduction
Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
RTARTA-1997-TomasF #equation #geometry #linear #using
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
HTHT-1996-CramerEMMP
Future (Hyper)Spaces (KC, SE, CCM, TM, MP), p. 261.
SIGMODSIGMOD-1996-McAuliffeCS #effectiveness #performance #towards
Towards Effective and Efficient Free Space Management (MLM, MJC, MHS), pp. 389–400.
SIGMODSIGMOD-1996-RossSS #constraints #maintenance
Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time (KAR, DS, SS), pp. 447–458.
WPCWPC-1996-BailesBCJ #ada
Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
STOCSTOC-1996-AlonMS #approximate #complexity
The Space Complexity of Approximating the Frequency Moments (NA, YM, MS), pp. 20–29.
STOCSTOC-1996-DeyG #algorithm
Algorithms for Manifolds and Simplicial Complexes in Euclidean 3-Space (Preliminary Version) (TKD, SG), pp. 398–407.
STOCSTOC-1996-KosarajuD #assembly #scalability #string
Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
FMFME-1996-Vito #formal method #navigation #requirements
Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
AFPAFP-1996-RuncimanR96 #performance #profiling
Heap Profiling for Space Efficiency (CR, NR), pp. 159–183.
ICFPICFP-1996-BlellochG #implementation #performance
A Provable Time and Space Efficient Implementation of NESL (GEB, JG), pp. 213–225.
ICFPICFP-1996-RojemoR #compilation #profiling #revisited
Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.
CHICHI-1996-KambaEHSS #using
Using Small Screen Space More Efficiently (TK, SAE, TH, TS, PNS), pp. 383–390.
CSCWCSCW-1996-BenfordBRG
Shared Spaces: Transportation, Artificiality, and Spatiality (SB, CB, GR, CG), pp. 77–86.
CSCWCSCW-1996-FitzpatrickKM #case study #physics #social
Physical Spaces, Virtual Places and Social Worlds: a Study of Work in the Virtual (GF, SMK, TM), pp. 334–343.
CSCWCSCW-1996-HarrisonD #collaboration
Re-place-ing Space: The Roles of Place and Space in Collaborative Systems (SRH, PD), pp. 67–76.
CSCWCSCW-1996-HindusAMS #case study #named
Thunderwire: A Field Study of an Audio-Only Media Space (DH, MSA, SDM, BS), pp. 238–247.
CSCWCSCW-1996-SugawaraMKSIYKSTNLTS #video
InterSpace Project — CyberCampus (Video Program) (SS, NM, YK, KS, MI, TY, YK, KS, TT, TN, CL, TT, GS), p. 7.
CSCWCSCW-1996-WattsWCPKH
Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.
CIKMCIKM-1996-Henrich #adaptation #documentation
Adapting a Spatial Access Structure for Document Representations in Vector Space (AH), pp. 19–26.
CIKMCIKM-1996-HuffmanB #retrieval
Notes Explorer: Entity-Based Retrieval in Shared, Semi-Structured Information Spaces (SBH, CB), pp. 99–106.
ICMLICML-1996-Sebag #approach #bias
Delaying the Choice of Bias: A Disjunctive Version Space Approach (MS), pp. 444–452.
ICPRICPR-1996-AmanoHYI #approach #detection #image
Eigen space approach for a pose detection with range images (TA, SH, AY, SI), pp. 622–626.
ICPRICPR-1996-ArimuraH #design #image #recognition
Feature space design for image recognition with image screening (KA, NH), pp. 261–265.
ICPRICPR-1996-AstromH96a #analysis #probability
Stochastic analysis of scale-space smoothing (, AH), pp. 305–309.
ICPRICPR-1996-BrucksteinRW #invariant #using
Recognizing objects using scale space local invariants (AMB, ER, IW), pp. 760–764.
ICPRICPR-1996-CongM
Dyadic scale space (GC, SM), pp. 399–402.
ICPRICPR-1996-GroveJ #memory management #trade-off
Space/time trade-offs for associative memory (AJG, DWJ), pp. 296–302.
ICPRICPR-1996-LimWV
Tracking in a space variant active vision system (FLL, GAWW, SV), pp. 745–749.
ICPRICPR-1996-LinL #detection #using
Detection of specularity using stereo in color and polarization space (SL, SWL), pp. 263–267.
ICPRICPR-1996-Roberts #analysis #clustering
Scale-space unsupervised cluster analysis (SJR), pp. 106–110.
ICPRICPR-1996-RougonP #comprehension
Understanding the structure of diffusive scale-spaces (NR, FJP), pp. 844–848.
ICPRICPR-1996-SantiniJ #development #similarity
Gabor space and the development of preattentive similarity (SS, RJ), pp. 40–44.
ICPRICPR-1996-SeoH #re-engineering
Sequential reconstruction of lines in projective space (YS, KSH), pp. 503–507.
ICPRICPR-1996-Skubalska-RafajlowiczK #classification #metric #performance #using
Fast k-NN classification rule using metric on space-filling curves (ESR, AK), pp. 121–125.
ICPRICPR-1996-Sporring
The entropy of scale-space (JS), pp. 900–904.
KDDKDD-1996-StolorzD #data mining #detection #mining #named #scalability
Quakefinder: A Scalable Data Mining System for Detecting Earthquakes from Space (PES, CD), pp. 208–213.
KRKR-1996-Borgo #congruence
A Pointless Theory of Space Based on Strong Connection and Congruence (SB, NG, CM), pp. 220–229.
KRKR-1996-CadoliDLS #information management #performance #representation
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
POPLPOPL-1996-FegarasS #data type #embedded #morphism #source code
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.
ASPLOSASPLOS-1996-GrunwaldN #optimisation #performance #thread
Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.
CAVCAV-1996-BoigelotG #communication #infinity #protocol #using #verification
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) (BB, PG), pp. 1–12.
CAVCAV-1996-MillerK
Saving Space by Fully Exploiting Invisible Transitions (HM, SK), pp. 336–347.
ISSTAISSTA-1996-KangL #analysis #generative #performance #realtime
An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.
ISSTAISSTA-1996-PezzeY #analysis #generative #multi #tool support
Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
ICDARICDAR-v1-1995-HoriuchiTYY #optimisation #probability #process
Relaxation optimizing processes in extended probabilistic space (TH, KT, KY, HY), pp. 266–269.
ICDARICDAR-v1-1995-Ozaki #pattern matching #segmentation
Column segmentation by white space pattern matching (MO), pp. 134–137.
PODSPODS-1995-DongS #bound
Space-Bounded FOIES (GD, JS), pp. 139–150.
SIGMODSIGMOD-1995-DanS #online #policy #video
An Online Video Placement Policy based on Bandwith to Space Ratio (BSR) (AD, DS), pp. 376–385.
VLDBVLDB-1995-Brin #metric #scalability
Near Neighbor Search in Large Metric Spaces (SB), pp. 574–584.
VLDBVLDB-1995-GravanoG #database
Generalizing GlOSS to Vector-Space Databases and Broker Hierarchies (LG, HGM), pp. 78–89.
STOCSTOC-1995-EdmondsP #bound
A nearly optimal time-space lower bound for directed st-connectivity on the NNJAG model (JE, CKP), pp. 147–156.
STOCSTOC-1995-KosarajuD #assembly #scalability #string
Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.
STOCSTOC-1995-KushilevitzOR #communication #polynomial
Log-space polynomial end-to-end communication (EK, RO, AR), pp. 559–568.
DLTDLT-1995-CattaneoFM #automaton
Rule Space Transformations and One-Dimensional Cellular Automata (GC, EF, GM), pp. 409–419.
ICALPICALP-1995-KhullerRR #named
Graphbots: Mobility in Discrete Spaces (SK, ER, AR), pp. 593–604.
FPCAFPCA-1995-MeijerH #exponential
Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.
FPCAFPCA-1995-Rojemo #compilation #haskell
Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.
CHICHI-1995-AalstCM #analysis #design #framework #learning #user interface
Design Space Analysis as “Training Wheels” in a Framework for Learning User Interface Design (JWvA, TTC, DLM), pp. 154–161.
CHICHI-1995-FurnasB #comprehension #diagrams #interface #multi
Space-Scale Diagrams: Understanding Multiscale Interfaces (GWF, BBB), pp. 234–241.
CHICHI-1995-GaverSO
A Virtual Window on Media Space (WWG, GS, KO), pp. 257–264.
CHICHI-1995-LokugeI #interactive #named #visualisation
GeoSpace: An Interactive Visualization System for Exploring Complex Information Spaces (IL, SI), pp. 409–414.
ICMLICML-1995-SalganicoffU #learning #multi #using
Active Exploration and Learning in real-Valued Spaces using Multi-Armed Bandit Allocation Indices (MS, LHU), pp. 480–487.
KDDKDD-1995-KohaviS #set #using
Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology (RK, DS), pp. 192–197.
SIGIRSIGIR-1995-EfraimidisGMST #parallel #performance #retrieval #using
Parallel Text Retrieval on a High Performance Super Computer Using the Vector Space Model (PSE, CG, BM, PGS, BT), pp. 58–66.
ECOOPECOOP-1995-KiesslingK
Sharing Properties in a Uniform Object Space (HK, UK), pp. 424–448.
POPLPOPL-1995-SansomJ #functional #higher-order #profiling #strict
Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
SACSAC-1995-JengL #algorithm
Optimal hypercube algorithms for robot configuration space computation (JFFJ, WNL), pp. 182–186.
HPCAHPCA-1995-SterlingSMG #evaluation
An Initial Evaluation of the Convex SPP-1000 for Earth and Space Science Application (TLS, DS, PM, JPG), pp. 176–185.
HPDCHPDC-1995-SterlingSBFO #communication #parallel
Communication Overhead for Space Science Applications on the Beowulf Parallel Workstation (TLS, DS, DJB, BF, KO), pp. 23–30.
ISMMIWMM-1995-Rojemo #functional #garbage collection #lazy evaluation
Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
ISMMIWMM-1995-SuzukiKT #named #performance #scalability
MOA — A Fast Sliding Compaction Scheme for a Large Storage Space (MS, HK, MT), pp. 197–210.
SOSPSOSP-1995-TalluriHK
A New Page Table for 64-bit Address Spaces (MT, MDH, YYAK), pp. 184–200.
DACDAC-1994-SilvaS
Dynamic Search-Space Pruning Techniques in Path Sensitization (JPMS, KAS), pp. 705–711.
DATEEDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal
A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
DATEEDAC-1994-WittmannH #identification #optimisation #performance #testing
Efficient Path Identification for Delay Testing — Time and Space Optimization (HCW, MH), pp. 513–517.
HTHT-ECHT-1994-KaplanM #design #ontology
Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
PODSPODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive
Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.
SASSAS-1994-Jorgensen #analysis #finite #fixpoint #using
Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration (NJ), pp. 329–345.
ICALPICALP-1994-FreivaldsK #bound #random
Lower Space Bounds for Randomized Computation (RF, MK), pp. 580–592.
LISPLFP-1994-ShaoA
Space-Efficient Closure Representations (ZS, AWA), pp. 150–161.
CHICHI-1994-HarrisonMBN94a #communication #design #interface
Communicating About Communicating: Cross-Disciplinary Design of a Media Space Interface (BH, MMM, GB, TN), pp. 124–130.
AdaEuropeAdaEurope-1994-CorreriniP #assurance #named
ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.
AdaEuropeAdaEurope-1994-Gale #ada #development #recommendation
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment (LPG), pp. 175–203.
AdaEuropeAdaEurope-1994-Taylor #development #formal method
Formal Methods for a Space Software Development Environment (PT), pp. 90–103.
CIKMCIKM-1994-GhandeharizadehI
Management of Disk Space with REBATE (SG, DI), pp. 304–311.
TOOLSTOOLS-EUROPE-1994-Allard #named #object-oriented #programming
Keynote: Object-Oriented Programming at the European Space Agency (FA), p. 7.
PPDPPLILP-1994-HundehegeLX #hybrid #memory management #optimisation #program transformation #runtime #semantics
Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
SACSAC-1994-HughesWK #learning
Virtual space learning: creating text-based learning environments (BH, JW, BK), pp. 578–582.
CAVCAV-1994-CousinH #performance
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions (BC, JMH), pp. 364–376.
ISSTAISSTA-1994-Young #analysis #testing
State-Space Analysis as an Aid to Testing (Abstract) (MY), p. 203.
ICDARICDAR-1993-SakodaZP #feature model #recognition #refinement #testing
Refinement and testing of a character recognition system based on feature extraction in grayscale space (WJS, JZ, TP), pp. 464–469.
SIGMODSIGMOD-1993-Egenhofer #database #navigation #requirements #what
What’s Special about Spatial? Database Requirements for Vehicle Navigation in Geographic Space (Extended Abstract) (MJE), pp. 398–402.
SIGMODSIGMOD-1993-Tgieman #information management #network #research
The International Directory Network and Connected Data Information Systems for Research in the Earth and Space Sciences (JRT), pp. 475–478.
VLDBVLDB-1993-LanzelotteVZ #effectiveness #execution #on the #optimisation #parallel
On the Effectiveness of Optimization Search Strategies for Parallel Execution Spaces (RSGL, PV, MZ), pp. 493–504.
PLDIPLDI-1993-Boehm #garbage collection #performance
Space Efficient Conservative Garbage Collection (HJB), pp. 197–206.
STOCSTOC-1993-BlumofeL #parallel #scheduling #thread
Space-efficient scheduling of multithreaded computations (RDB, CEL), pp. 362–371.
STOCSTOC-1993-Edmonds #trade-off
Time-space trade-offs for undirected st-connectivity on a JAG (JE), pp. 718–727.
STOCSTOC-1993-Goldberg #algorithm #graph #polynomial #product line
Polynomial space polynomial delay algorithms for listing families of graphs (LAG), pp. 218–225.
STOCSTOC-1993-KollerM #constraints
Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.
PLDIBest-of-PLDI-1993-Boehm93a #garbage collection #performance
Space efficient conservative garbage collection (with retrospective) (HJB), pp. 490–501.
DLTDLT-1993-HromkovicRS #nondeterminism
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.
ICALPICALP-1993-Yamamoto #bound #nondeterminism #trade-off #turing machine
Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines (HY), pp. 203–214.
FPCAFPCA-1993-Sparud #garbage collection
Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.
HCIHCI-ACS-1993-Barnard #design #modelling #research
Modelling Users, Systems and Design Spaces (Esprit Basic Research Action 3066) (PJB), pp. 331–336.
HCIHCI-ACS-1993-Hale #design
Ergonomics and VDT Design for Space Environments (JPH), pp. 196–200.
HCIHCI-ACS-1993-Hinman-Sweeney #communication #network
Developing an Electronic International Network for Space Communication (EMHS), pp. 161–166.
HCIHCI-ACS-1993-LomanBR #human-computer #interface
Cognitive Model of Human-Computer Interface (HCI) Onboard Space Station Freedom (SSF) (JML, DJB, CR), pp. 201–206.
HCIHCI-ACS-1993-Mount #human-computer
HCI in Space Systems (FEM), pp. 157–160.
HCIHCI-ACS-1993-StuartSHFL
Remote Operations in the Hazardous Environments of Space (MAS, CES, RCH, TFF, AJL), pp. 295–300.
HCIHCI-ACS-1993-VankovGRV #complexity
Operational Complexity of Controlling Space Vehicles (AV, YG, AR, AV), pp. 219–224.
HCIHCI-ACS-1993-WickSH #assembly #interface #testing
Testing the Human Computer Interface for the Telerobotic Assembly of the Space Station (DTW, NMS, ARH), pp. 213–218.
HCIHCI-SHI-1993-KatoDO
The Basic Study of Natural Operation in Virtual Space (NK, MD, AO), pp. 681–686.
HCIHCI-SHI-1993-KishinoOTT #3d #detection #image #realtime
Virtual Space Teleconferencing System — Real Time Detection and Reproduction of 3-D Human Images (FK, JO, HT, NT), pp. 669–674.
CHIINTERCHI-1993-FahlenBSC #interactive
A space based model for user interaction in shared synthetic environments (LEF, CGB, OS, CC), pp. 43–48.
CHIINTERCHI-1993-GaverSHL #multi
One is not enough: multiple views in a media space (WWG, AS, CH, PL), pp. 335–341.
CHIINTERCHI-1993-NigayC #concurrent #data fusion #design #multimodal
A design space for multimodal systems: concurrent processing and data fusion (LN, JC), pp. 172–178.
CHIINTERCHI-1993-Staples #representation #user interface #visual notation
Representation in virtual space: visual convention in the graphical user interface (LS), pp. 348–354.
CHIINTERCHI-1993-TonomuraAOS #tool support #video
VideoMAP and VideoSpaceIcon: tools for anatomizing video content (YT, AA, KO, TS), pp. 131–136.
ICMLICML-1993-GratchCD #learning #network #scheduling
Learning Search Control Knowledge for Deep Space Network Scheduling (JG, SAC, GD), pp. 135–142.
TOOLSTOOLS-USA-1993-Polze #approach #c++ #communication
The Object Space Approach: Decoupled Communication in C++ (AP), pp. 195–204.
PPDPPLILP-1993-Kaser #stack
Inlining to Reduce Stack Space (OK), pp. 262–274.
SACSAC-1993-MinZ #algorithm
Time-Space Optimal Convex Hull Algorithms (HM, SQZ), pp. 687–693.
SACSAC-1993-PattersonTH #distributed #fault tolerance
Construction of a Fault-Tolerant Distributed Tuple-Space (LIP, RST, RMH), pp. 279–285.
PPoPPPPoPP-1993-AghaC #distributed #named #paradigm #programming
ActorSpaces: An Open Distributed Programming Paradigm (GA, CJC), pp. 23–32.
ICLPILPS-1993-Meyer #logic #reasoning #towards #visual notation
Logic and the Structure of Space — Towards a Visual Logic for Spatial Reasoning (BM), p. 674.
ISSTAISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
ISSTAISSTA-1993-Modes
Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.
DACDAC-1992-DuttaRV #distributed #synthesis
Distributed Design-Space Exploration for High-Level Synthesis Systems (RD, JR, RV), pp. 644–650.
STOCSTOC-1992-MayerOOY #self #symmetry
Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.
STOCSTOC-1992-Schulman
Sample Spaces Uniform on Neighborhoods (LJS), pp. 17–25.
ICALPICALP-1992-SantisPY #bound #proving #statistics #verification
One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier (ADS, GP, MY), pp. 28–40.
CSCWCSCW-1992-IshiiKG #design #integration
Integration of Inter-Personal Space and Shared Workspace: ClearBoard Design and Experiments (HI, MK, JG), pp. 33–42.
CSCWCSCW-1992-ReevesS #communication #design #evolution
Supporting Communication Between Designers with Artifact-Centered Evolving Information Spaces (BR, FMSI), pp. 394–401.
AdaEuropeAdaEurope-1992-Raines #ada #realtime
Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
ICMLML-1992-Carpineto #consistency #induction #performance
Trading Off Consistency and Efficiency in version-Space Induction (CC), pp. 43–48.
SEKESEKE-1992-Wong #incremental #library #using
Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.
SIGIRSIGIR-1992-WangWY #analysis #geometry #modelling
An Analysis of Vector Space Models Based on Computational Geometry (ZW, SKMW, YY), pp. 152–160.
SOSPSOSP-WIP-1991-ChaseBLL92 #architecture #named
Opal: A Single Address Space System for 64-Bit Architectures (Abstract) (JSC, MBH, HML, EDL), p. 9.
ASPLOSASPLOS-1992-KoldingerCE #architecture #operating system
Architectural Support for Single Address Space Operating Systems (EJK, JSC, SJE), pp. 175–186.
CAVCAV-1992-GodefroidHP #revisited
State-Space Caching Revisited (PG, GJH, DP), pp. 178–191.
SIGMODSIGMOD-1991-IoannidisK #analysis #optimisation #query
Left-Deep vs. Bushy Trees: An Analysis of Strategy Spaces and its Implications for Query Optimization (YEI, YCK), pp. 168–177.
SIGMODSIGMOD-1991-SudarshanSRN #bottom-up #evaluation #logic programming #optimisation #source code
Space Optimization in the Bottom-Up Evaluation of Logic Programs (SS, DS, RR, JFN), pp. 68–77.
STOCSTOC-1991-BarnesR #algorithm #polynomial #sublinear #using
Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and Sublinear Space (Extended Abstract) (GB, WLR), pp. 43–53.
STOCSTOC-1991-FiatN #trade-off
Rigorous Time/Space Tradeoffs for Inverting Functions (AF, MN), pp. 534–541.
FMVDME-1991-1-GarlanN #design #formal method
Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.
CHICHI-1991-CoutazB #named #user interface
Applications: a dimension space for user interface management systems (JC, SB), pp. 27–32.
CHICHI-1991-FischerS #information management
Information access in complex, poorly structured information spaces (GF, CS), pp. 63–70.
CHICHI-1991-ManteiBSBMW #case study #experience
Experiences in the use of a media space (MMM, RMB, AS, WB, TM, BW), pp. 203–208.
SIGIRSIGIR-1991-Sutcliffe #distributed #information retrieval #using
Distributed Representations in a Text Based Information Retrieval System: A New Way of Using the Vector Space Model (RFES), pp. 123–132.
ASPLOSASPLOS-1991-Keppel #interface #on the fly
A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.
CAVCAV-1991-Sterling #infinity
Taming Infinite State Spaces (CS), p. 1.
SIGMODSIGMOD-1990-Orenstein #comparison #parametricity #query
A Comparison of Spatial Query Processing Techniques for Native and Parameter Spaces (JAO), pp. 343–352.
STOCSTOC-1990-Blum #infinity #learning
Learning Boolean Functions in an Infinite Atribute Space (Extended Abstract) (AB), pp. 64–72.
STOCSTOC-1990-NaorN #performance #probability
Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.
STOCSTOC-1990-Nisan #bound #generative
Psuedorandom Generators for Space-Bounded Computation (NN), pp. 204–212.
ICALPICALP-1990-Geffert #nondeterminism
Nondeterministic Computations in Sublogarithmic Space and Space Constructibility (VG), pp. 111–124.
ICALPICALP-1990-Wiedermann #metric #normalisation #problem #ram
Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.
ICGTGG-1990-TaentzerS #graph grammar
Movement of Objects in Configuration Spaces modelled by graph Grammars (GT, HS), pp. 660–675.
CHICHI-1990-CardMR #design
The design space of input devices (SKC, JDM, GGR), pp. 117–124.
ICMLML-1990-Hish #incremental
Incremental Version-Space Merging (HH), pp. 330–338.
SEKESEKE-1990-Clark #predict
A State Space Model for Currency Exchange Rate Prediction (JC), pp. 267–271.
SIGIRSIGIR-1990-Burkowski #retrieval #set
Surrogate Subsets: A Free Space Management Strategy for the Index of a Text Retrieval System (FJB), pp. 211–226.
WAGAWAGA-1990-JulieP #attribute grammar #optimisation
Space Optimization in the FNC-2 Attribute Grammar System (CJ, DP), pp. 29–45.
DACDAC-1989-BalakrishnanM #approach #design #scheduling #synthesis
Integrated Scheduling and Binding: A Synthesis Approach for Design Space Exploration (MB, PM), pp. 68–74.
HTHT-1989-StreitzHT #process
From Ideas and Arguments to Hyperdocuments: Travelling through Activity Spaces (NAS, JH, MT), pp. 343–364.
SIGMODSIGMOD-1989-Christodoulakis #performance #retrieval
Retrieval Performance Versus Disc Space Utilization on WORM Optical Discs (SC, DAF), pp. 306–314.
STOCSTOC-1989-Beame #trade-off
A General Sequential Time-Space Tradeoff for Finding Unique Elements (PB), pp. 197–203.
STOCSTOC-1989-BroderKRU
Trading Space for Time in Undirected s-t Connectivity (AZB, ARK, PR, EU), pp. 543–549.
STOCSTOC-1989-ChazelleEGS #algorithm #combinator
Lines in Space-Combinatorics, Algorithms and Applications (BC, HE, LJG, MS), pp. 382–393.
STOCSTOC-1989-LamTT #communication #trade-off
Tradeoffs Between Communication and Space (TWL, PT, MT), pp. 217–226.
CHICHI-1989-RudisillG #human-computer #interactive
NASA Johnson Space Center, Human-Computer Interaction (MR, DJG), pp. 55–56.
ICMLML-1989-Hirsh #empirical #learning
Combining Empirical and Analytical Learning with Version Spaces (HH), pp. 29–33.
ICMLML-1989-Knoblock #abstraction #learning
Learning Hierarchies of Abstraction Spaces (CAK), pp. 241–245.
ICMLML-1989-Riddle #reduction
Reformation from State Space to Reduction Space (PJR), pp. 439–440.
ICMLML-1989-Tallis #bias
Overcoming Feature Space Bias in a Reactive Environment (HT), pp. 505–508.
CSLCSL-1989-PrieseN #metric #semantics #using
Semantic for Abstract Fairness using Metric Spaces (LP, DN), pp. 355–368.
PODSPODS-1988-HuangL #multi #set
Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.
PODSPODS-1988-YuR #database #version control
Minimizing Time-Space Cost For Database Version Control (LY, DJR), pp. 294–301.
SIGMODSIGMOD-1988-HutfleszSW #grid #optimisation
Twin Grid Files: Space Optimizing Access Schemes (AH, HWS, PW), pp. 183–190.
STOCSTOC-1988-GurevichS #linear #nondeterminism #sublinear
Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space (YG, SS), pp. 281–289.
STOCSTOC-1988-PelegU #performance #trade-off
A Tradeoff between Space and Efficiency for Routing Tables (Extended Abstract) (DP, EU), pp. 43–52.
ICALPICALP-1988-ChangIP #bound #modelling #parallel #performance #simulation
Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM’s and Space-Bounded TM’s (JHC, OHI, MAP), pp. 119–132.
OOPSLAOOPSLA-1988-MatsuokaK #communication #distributed #object-oriented #tuple #using
Using Tuple Space Communication in Distributed Object-Oriented Languages (SM, SK), pp. 276–284.
DACDAC-1987-CarpenterH #constraints #generative #incremental
Generating Incremental VLSI Compaction Spacing Constraints (CWC, MH), pp. 291–297.
VLDBVLDB-1987-GuntherW #geometry #representation
A Dual Space Representation for Geometric Data (OG, EW), pp. 501–506.
PLDIPLDI-1987-Pittman #execution #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
HCIHCI-CE-1987-Sheppard #modelling #multi
A Methodology for Modeling Multi-Position EV and IV Tasks for Space Station (SBS), pp. 281–288.
SIGIRSIGIR-1987-Schauble #concept
Thesaurus Based Concept Spaces (PS), pp. 254–262.
OOPSLAOOPSLA-1987-Lucco #parallel #programming
Parallel Programming in a Virtual Object Space (SL), pp. 26–34.
DACDAC-1986-NaharS #performance
A time and space efficient net extractor (SN, SS), pp. 411–417.
SIGIRSIGIR-1986-WongZRW #on the #query
On Extending the Vector Space Model for Boolean Query Processing (SKMW, WZ, VVR, PCNW), pp. 175–185.
STOCSTOC-1985-Vaidya #orthogonal #query #trade-off
Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract) (PMV), pp. 169–174.
ICALPICALP-1985-Jung #on the #probability
On Probabilistic Time and Space (HJ), pp. 310–317.
SIGIRSIGIR-1985-Korfhage #documentation #metric
Theoretical Measures in P/Q Document Spaces (RK), pp. 33–40.
SIGIRSIGIR-1985-WongZW #information retrieval
Generalized Vector Space Model in Information Retrieval (SKMW, WZ, PCNW), pp. 18–25.
STOCSTOC-1984-DeganoM #convergence #liveness #metric
Liveness Properties as Convergence in Metric Spaces (PD, UM), pp. 31–38.
STOCSTOC-1984-SharirS #on the
On Shortest Paths in Polyhedral Spaces (MS, AS), pp. 144–153.
STOCSTOC-1984-SlotB #on the #performance
On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space (CFS, PvEB), pp. 391–400.
ICALPICALP-1984-IbarraKR #performance #simulation #strict
Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.
LISPLFP-1984-Brooks #garbage collection #hardware #realtime
Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware (RAB), pp. 256–262.
SIGIRSIGIR-1984-WongR #information retrieval
Vector Space Model of Information Retrieval — A Reevaluation (SKMW, VVR), pp. 167–185.
DACDAC-1983-FukunagaYSK #approach #graph #using
Placement of circuit modules using a graph space approach (KF, SY, HSS, TK), pp. 465–471.
DACDAC-1983-SzymanskiW #algorithm #analysis #performance
Space efficient algorithms for VLSI artwork analysis (TGS, CJVW), pp. 734–739.
STOCSTOC-1983-Yao
A 3-Space Partition and Its Applications (Extended Abstract) (FFY), pp. 258–263.
ICALPICALP-1983-KamimuraT #effectiveness
Effectively Given Spaces (TK, AT), pp. 385–396.
SIGMODSIGMOD-1982-DongH #approximate #dependence #order
Applying Approximate Order Dependency to Reduce Indexing Space (JD, RH), pp. 119–127.
STOCSTOC-1982-RuzzoST #bound #probability
Space-Bounded Hierarchies and Probabilistic Computations (WLR, JS, MT), pp. 215–223.
STOCSTOC-1982-Yao #query #trade-off
Space-Time Tradeoff for Answering Range Queries (Extended Abstract) (ACCY), pp. 128–136.
ICGTGG-1982-SiromoneyS #graph #infinity
Space-filling curves and infinite graphs (RS, KGS), pp. 380–391.
DACDAC-1981-Scoble #interactive #using
Creating and updating space occupancy and building plans using interactive graphics (RAS), pp. 66–73.
STOCSTOC-1981-GalilS #string
Time-Space-Optimal String Matching (ZG, JIS), pp. 106–113.
STOCSTOC-1981-Simon #bound #complexity #probability #turing machine
Space-Bounded Probabilistic Turing Machine Complexity Classes Are Closed under Complement (Preliminary Version) (JS), pp. 158–167.
DACDAC-1980-Frew #algorithm #architecture #bibliography #design
A survey of space allocation algorithms in use in architectural design in the past twenty years (RSF), pp. 165–174.
DACDAC-1980-TadaYKS #performance #strict
A fast maze router with iterative use of variable search space restriction (FT, KY, TK, TS), pp. 250–254.
STOCSTOC-1980-BorodinC #sorting #trade-off
A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation (AB, SAC), pp. 294–301.
STOCSTOC-1980-Hong #complexity #on the #problem
On Some Deterministic Space Complexity Problems (JWH), pp. 310–317.
STOCSTOC-1980-JaJa #algebra #problem #trade-off
Time-Space Tradeoffs for some Algebraic Problems (JJ), pp. 339–350.
STOCSTOC-1980-Tompa80a #algorithm #implementation #polynomial #sublinear #transitive
Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations (MT), pp. 333–338.
STOCSTOC-1980-Yap #first-order #problem #source code #trade-off
Space-time Tradeoffs and First Order Problems in a Model of Programs (CKY), pp. 318–325.
ICALPICALP-1980-LewisP #bound #symmetry
Symmetric Space-Bounded Computation (Extended Abstract) (HRL, CHP), pp. 374–384.
ICALPICALP-1980-Schmidt #attribute grammar #strict
Space-Restricted Attribute Grammars (EMS), pp. 436–448.
DACDAC-1979-WeingartenKC #3d #interactive #named #using
DRAW3D: Time sharing graphic interaction using a device-space buffer (NHW, WK, MC), pp. 135–141.
PLDISCC-1979-Raiha #attribute grammar #multi
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars (KJR), pp. 26–38.
STOCSTOC-1979-Cook #polynomial
Deterministic CFL’s Are Accepted Simultaneously in Polynomial Time and Log Squared Space (SAC), pp. 338–345.
STOCSTOC-1979-GilbertLT #polynomial #problem
The Pebbling Problem is Complete in Polynomial Space (JRG, TL, RET), pp. 237–248.
STOCSTOC-1979-LengauerT #bound #trade-off
Upper and Lower Bounds on Time-Space Tradeoffs (TL, RET), pp. 262–277.
STOCSTOC-1979-Peterson #modelling #parallel #trade-off
Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences (GLP), pp. 224–230.
ICALPICALP-1979-MonienS #nondeterminism #on the #turing machine
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space (BM, IHS), pp. 431–445.
ICALPICALP-1979-SavageS #integer #multi #trade-off
Space-Time Tradeoffs for Oblivious Integer Multiplications (JES, SS), pp. 498–504.
POPLPOPL-1979-SavageS #linear #recursion #trade-off
Space-Time Tradeoffs for Linear Recursion (SS, JES), pp. 135–142.
DACDAC-1978-Ruch #approach #graph #interactive #layout
Interactive space layout: A graph theoretical approach (JR), pp. 152–157.
STOCSTOC-1978-BrussM #formal method #on the
On Time-Space Classes and Their Relation to the Theory of Real Addition (ARB, ARM), pp. 233–239.
STOCSTOC-1978-Tompa #trade-off #using
Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of their Circuits (MT), pp. 196–204.
ICALPICALP-1978-DobkinM #bound #problem
Time and Space Bounds for Selection Problems (DPD, JIM), pp. 192–204.
DACDAC-1977-HellerMD #predict #requirements
Prediction of wiring space requirements for LSI (WRH, WFM, WED), pp. 32–42.
ICALPICALP-1977-PaulT #game studies #trade-off
Time-Space Trade-Offs in a Pebble Game (WJP, RET), pp. 365–369.
SIGMODSIGMOD-1976-Pecherer #performance
Efficient Exploration of Product Spaces (RMP), pp. 169–177.
STOCSTOC-1976-BentleyS #divide and conquer #multi
Divide-and-Conquer in Multidimensional Space (JLB, MIS), pp. 220–230.
STOCSTOC-1976-CardozaLM #commutative #exponential #petri net #problem
Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.
STOCSTOC-1976-PaulTC #bound #game studies #graph
Space Bounds for a Game of Graphs (WJP, RET, JRC), pp. 149–160.
ICALPICALP-1976-AltM #bound #complexity #recognition
Lower Bounds for the Space Complexity of Context-Free Recognition (HA, KM), pp. 338–354.
SOSPSOSP-J-1975-PrieveF76 #algorithm #named
VMIN — An Optimal Variable-Space Page Replacement Algorithm (BGP, RSF), pp. 295–297.
DACDAC-1975-Teicholz #process
The computer in the space planning process (ET), pp. 331–344.
VLDBVLDB-1975-Chin #analysis #behaviour
Analysis of VSAM’s Free-Space Behavior (YHC), pp. 514–515.
STOCSTOC-1975-EvenT #combinator #polynomial #problem
a Combinatorial Problem which is Complete in Polynomial Space (SE, RET), pp. 66–71.
STOCSTOC-1974-Horvath #performance #sorting
Efficient Stable Sorting with Minimal Extra Space (ECH), pp. 194–215.
DACDAC-1973-FullenwiderR #architecture #implementation
Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.
DACDAC-1973-KrawczykD #evaluation #generative
Space plan: A user oriented package for the evaluation and the generation of spatial inter-relationships (RJK, EED), pp. 121–138.
DACDAC-1972-BannaS #interactive
An interactive computer graphics space allocation system (SAB, WRS), pp. 229–237.
DACDAC-1972-FrewR #approach #layout #problem
Building polyonimoes; an approach to the space layout problem (RSF, PHR), p. 238.
DACDAC-1972-Grant #architecture #design #problem #proximity #using
Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.
DACDAC-1971-Eastman #named
GSP: A system for computer assisted space planning (CEE), pp. 208–220.
DACDAC-1971-Grason #approach #graph #using
An approach to computerized space planning using graph theory (JG), pp. 170–178.
DACDAC-1971-Veit #named
Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.
DACDAC-1970-Miller
Computer-aided space planning (WRM), pp. 28–34.
DACSHARE-1964-SimpsonA #analysis
Space frame analysis and applications to other types of structures (HS, JA).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.