BibSLEIGH — space stem

Used together with:

design (187)
use (163)
explor (146)
time (143)
base (122)

Stem space$ (all stems)

1461 papers:

ECSA-2015-BaresiS #approach #architecture: An Architecture-Centric Approach for Dynamic Smart Spaces (LB, AS), pp. 277–284.
WICSA-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.
CASE-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.
CASE-2015-LiuC #algorithm #evaluation #performance #quality #using: A fast algorithm for grasp quality evaluation using the object wrench space (SL, SC), pp. 558–563.
CASE-2015-LuoZHZ #modelling #synthesis: Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-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.
DAC-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.
DAC-2015-LukasiewyczSS #design #embedded #performance: Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DAC-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.
DAC-2015-SchatzVZ #automation #component #deployment: Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
DATE-2015-BerryhillV #automation #functional: Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATE-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.
DATE-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.
HT-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.
PODS-2015-RahulT #2d #on the: On Top-k Range Reporting in 2D Space (SR, YT), pp. 265–275.
VLDB-2015-KhayyatLSOPQ0K #difference #performance: Lightning Fast and Space Efficient Inequality Joins (ZK, WL, MS, MO, PP, JAQR, NT, PK), pp. 2074–2085.
ICPC-2015-SunshineHA #api #protocol #usability: Searching the state space: a qualitative study of API protocol usability (JS, JDH, JA), pp. 82–93.
ICSME-2015-SharmaTL #question #re-engineering #twitter #what: What’s hot in software engineering Twitter space? (AS, YT, DL), pp. 541–545.
STOC-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.
STOC-2015-BourgainDN #formal method #reduction #towards: Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.
STOC-2015-GiakkoupisHHW: Test-and-Set in Optimal Space (GG, MH, LH, PW), pp. 615–623.
DLT-2015-Yamakami #bound #complexity #quantum: Complexity Bounds of Constant-Space Quantum Computation — (Extended Abstract) (TY), pp. 426–438.
ICALP-v1-2015-BeameLP #bound: Finding the Median (Obliviously) with Bounded Space (PB, VL, MP), pp. 103–115.
ICALP-v1-2015-FominKLPS #algorithm #polynomial: Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.
ICALP-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.
ICALP-v1-2015-MouawadNPR #configuration management: Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (AEM, NN, VP, VR), pp. 985–996.
LATA-2015-PolicritiGP #linear: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
CHI-2015-BranhamK #collaboration #how: Collaborative Accessibility: How Blind and Sighted Companions Co-Create Accessible Home Spaces (SMB, SKK), pp. 2373–2382.
CHI-2015-DittmarH #design: Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.
CHI-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.
CHI-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.
CHI-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.
CHI-2015-YerousisARRRW #bound: Computer-Enabled Project Spaces: Connecting with Palestinian Refugees across Camp Boundaries (GPY, KA, TvR, DWR, MR, VW), pp. 3749–3758.
CSCW-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.
DUXU-IXD-2015-AljohaniB #evaluation #heuristic #repository: Heuristic Evaluation of University Institutional Repositories Based on DSpace (MA, JB), pp. 119–130.
DUXU-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.
HCI-DE-2015-KitamuraJUIS #development: Development of Tidy-up Promotion System by Anthropomorphication of Shared Space (TK, TJ, MU, HI, HS), pp. 360–369.
HCI-IT-2015-MontpellierJFGK #collaboration: Suturing Space: Tabletop Portals for Collaboration (EM, GLJ, OAF, JG, AK, NC, CR, TI, SXW), pp. 472–484.
HIMI-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.
HIMI-IKC-2015-KajitaTMI #3d #design #using: Designing the Embodied Shadow Media Using Virtual Three-Dimensional Space (YK, TT, YM, SI), pp. 610–621.
HIMI-IKC-2015-KinoeM: Situational Transformation of Personal Space (YK, NM), pp. 15–24.
HIMI-IKD-2015-UlbrichVSS #interactive #topic: Reading Through Graphics: Interactive Landscapes to Explore Dynamic Topic Spaces (EU, EEV, SS, VS), pp. 127–137.
AdaEurope-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.
ECIR-2015-MogadalaR #correlation #multi #retrieval: Multi-modal Correlated Centroid Space for Multi-lingual Cross-Modal Retrieval (AM, AR), pp. 68–79.
ICML-2015-TanseyPSR #exponential #markov #product line #random: Vector-Space Markov Random Fields via Exponential Families (WT, OHMP, ASS, PR), pp. 684–692.
ICML-2015-WangZ #clustering #named #parametricity: DP-space: Bayesian Nonparametric Subspace Clustering with Small-variance Asymptotics (YW, JZ), pp. 862–870.
KDD-2015-YangH #learning #multi: Model Multiple Heterogeneity via Hierarchical Multi-Latent Space Learning (PY, JH), pp. 1375–1384.
RecSys-2015-SongCL #incremental #matrix #recommendation: Incremental Matrix Factorization via Feature Space Re-learning for Recommender System (QS, JC, HL), pp. 277–280.
ECMFA-J-2012-PfeifferW15 #design #development #multi: The design space of multi-language development environments (RHP, AW), pp. 383–411.
PPDP-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.
PADL-2015-BassedaK #logic #transaction #using: State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
POPL-2015-FarzanKP #bound #parallel #proving: Proof Spaces for Unbounded Parallelism (AF, ZK, AP), pp. 407–420.
POPL-2015-Greenberg #contract: Space-Efficient Manifest Contracts (MG), pp. 181–194.
SAC-2015-BuenoAFASC: Selfie cafe: socialization in public spaces (AOB, JCA, VF, JCA, CS, DC), pp. 163–168.
SAC-2015-DemuthRNHZE #framework #multi #named: DesignSpace: an infrastructure for multi-user/multi-tool engineering (AD, MRE, AN, PH, KZ, AE), pp. 1486–1491.
SAC-2015-LeeP #reduction: Search space reduction for electric vehicle-based tour schedules (JL, GLP), pp. 2075–2076.
ICSE-v2-2015-Shahzada #development #framework: A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.
PLEASE-2015-TzeremesG #approach #development #product line: A Software Product Line Approach for End User Development of Smart Spaces (VT, HG), pp. 23–26.
HPCA-2015-FujiwaraKOMC #network: Augmenting low-latency HPC network with free-space optical links (IF, MK, TO, HM, HC), pp. 390–401.
CAV-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.
CSL-2015-Mazza: Simple Parsimonious Types and Logarithmic Space (DM), pp. 24–40.
ICST-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.
LICS-2015-PaulyB #set: Descriptive Set Theory in the Category of Represented Spaces (AP, MdB), pp. 438–449.
SAT-2015-HyvarinenMS #clustering #smt: Search-Space Partitioning for Parallelizing SMT Solvers (AEJH, MM, NS), pp. 369–386.
WICSA-2014-BabazadehP #design #distributed #framework: The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
ASE-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.
CASE-2014-ChenLY #distributed #modelling #network: Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASE-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.
CASE-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.
DAC-2014-KuanCHL #database #embedded #multi: Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DAC-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.
DATE-2014-GrafGTL #design #embedded #multi: Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATE-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.
DATE-2014-RosvallS #constraints #design #framework #realtime: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-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.
DATE-2014-ZhangS #automation #design #specification: Automatic specification granularity tuning for design space exploration (JZ, GS), pp. 1–6.
DATE-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.
SIGMOD-2014-ZaschkeZN #multi: The PH-tree: a space-efficient storage structure and multi-dimensional index (TZ, CZ, MCN), pp. 397–408.
VLDB-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.
TACAS-2014-WijsB #manycore #named #on the fly #using: GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
ICSME-2014-WangLL #composition #debugging #locality #modelling: Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier: Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
PLDI-2014-Carbonneaux0RS #bound #c #source code #verification: End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
PLDI-2014-YangM #haskell: Dynamic space limits for Haskell (EZY, DM), p. 59.
STOC-2014-Belazzougui #linear: Linear time construction of compressed text indices in compact space (DB), pp. 148–193.
STOC-2014-BuhrmanCKLS #memory management: Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.
STOC-2014-Kane: The average sensitivity of an intersection of half spaces (DMK), pp. 437–440.
DLT-2014-ReinhardtY: The Minimum Amount of Useful Space: New Results and New Directions (KR, AY), pp. 315–326.
ICALP-v2-2014-DerevenetcM #robust: Robustness against Power is PSpace-complete (ED, RM), pp. 158–170.
LATA-2014-BestD #bound #graph #petri net: Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
GRAPHITE-2014-SenniS #knowledge base #reduction: Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
CHI-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.
CHI-2014-CohenDMHT #named #visual notation: OneSpace: shared visual scenes for active freeplay (MC, KRD, HM, SEH, AT), pp. 2177–2180.
CHI-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.
CHI-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.
CHI-2014-ShklovskiMSB #mobile #privacy: Leakiness and creepiness in app space: perceptions of privacy and mobile app use (IS, SDM, HHS, HB), pp. 2347–2356.
CHI-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.
CSCW-2014-BodenRSW #coordination: Articulation spaces: bridging the gap between formal and informal coordination (AB, FR, GS, VW), pp. 1120–1130.
CSCW-2014-HomanLTLS #social: Social structure and depression in TrevorSpace (CMH, NL, XT, MCL, VS), pp. 615–625.
CSCW-2014-KunertKBF #named: Photoportals: shared references in space and time (AK, AK, SB, BF), pp. 1388–1399.
CSCW-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.
DHM-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.
DUXU-DI-2014-FrankjaerG #hybrid #network #smarttech: Wearable Networks, Creating Hybrid Spaces with Soft Circuits (TRF, DG), pp. 435–445.
DUXU-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.
DUXU-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.
HCI-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.
HCI-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.
HCI-AS-2014-ArakelyanL #design: Situating a Design Space for Sustainable Software Appropriation (AA, DRL), pp. 665–673.
HCI-TMT-2014-ZhangFFHR #interactive: Scripting Interactive Art Installations in Public Spaces (YZ, JWF, MF, JH, MR), pp. 157–166.
HIMI-AS-2014-IizukaG #mobile #using: Basic Study on Personal Space while Using Mobile Devices in Public (SI, KG), pp. 404–412.
HIMI-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.
HIMI-AS-2014-MoorthyV: Voice Activated Personal Assistant: Acceptability of Use in the Public Space (AEM, KPLV), pp. 324–334.
LCT-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.
SCSM-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.
VISSOFT-2014-HaugenK #constraints #visualisation: Search Space Pruning Constraints Visualization (BH, JK), pp. 30–39.
CIKM-2014-BoghCSA #data type #named: Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression (KSB, SC, DS, IA), pp. 1767–1770.
CIKM-2014-EickhoffV #modelling: Modelling Complex Relevance Spaces with Copulas (CE, APdV), pp. 1831–1834.
CIKM-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.
CIKM-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.
CIKM-2014-RenTOS #how #people #scalability #web: How People Use the Web in Large Indoor Spaces (YR, MT, KO, MS), pp. 1879–1882.
ECIR-2014-BrucatoM #information retrieval #metric: Metric Spaces for Temporal Information Retrieval (MB, DM), pp. 385–397.
ECIR-2014-GoswamiMGAM #information retrieval: Exploring the Space of IR Functions (PG, SM, ÉG, MRA, FM), pp. 372–384.
ICML-c2-2014-Kontorovich #algorithm #bound #metric: Concentration in unbounded metric spaces and algorithmic stability (AK), pp. 28–36.
ICML-c2-2014-LinDH0 #classification #encoding #multi: Multi-label Classification via Feature-aware Implicit Label Space Encoding (ZL, GD, MH, JW), pp. 325–333.
ICPR-2014-GubarevaSSLM #linear: Finding the Largest Hypercavity in a Linear Data Space (AG, VS, OS, AL, VM), pp. 4406–4410.
ICPR-2014-KrawczykWC #classification #clustering #fuzzy: Weighted One-Class Classifier Ensemble Based on Fuzzy Feature Space Partitioning (BK, MW, BC), pp. 2838–2843.
ICPR-2014-OuyangYLW #performance #robust: A FAST Extreme Illumination Robust Feature in Affine Space (PO, SY, LL, SW), pp. 2365–2370.
ICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using: Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
ICPR-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.
ICPR-2014-VaradarajanV #calculus #geometry #representation #visual notation: 4D Space-Time Mereotopogeometry-Part Connectivity Calculus for Visual Object Representation (KMV, MV), pp. 4316–4321.
ICPR-2014-VuEIYY #image #using: Segmenting Reddish Lesions in Capsule Endoscopy Images Using a Gastrointestinal Color Space (HV, TE, YI, YY, YY), pp. 3263–3268.
ICPR-2014-WangYLZF #independence #recognition #using: Micro-expression Recognition Using Dynamic Textures on Tensor Independent Color Space (SW, WJY, XL, GZ, XF), pp. 4678–4683.
MLDM-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.
RecSys-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.
SEKE-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.
OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation: Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
QAPL-2014-KempfLM #design #formal method #manycore: Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
POPL-2014-EhrhardTP #probability: Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
SAC-2014-RaigozaS: Temporal join processing with hilbert curve space mapping (JR, JS), pp. 839–844.
ICSE-2014-XiaoCK #architecture #design: Design rule spaces: a new form of architecture insight (LX, YC, RK), pp. 967–977.
SPLC-2014-SeidlSA #product line #variability: Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
ASPLOS-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.
LCTES-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.
LICS-CSL-2014-LicataF #type system: Eilenberg-MacLane spaces in homotopy type theory (DRL, EF), p. 9.
RTA-TLCA-2014-AubertB #unification: Unification and Logarithmic Space (CA, MB), pp. 77–92.
ASE-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.
DAC-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.
DAC-2013-LiuC #on the #synthesis: On learning-based methods for design-space exploration with high-level synthesis (HYL, LPC), p. 7.
DATE-2013-ChandranSP #validation: Space sensitive cache dumping for post-silicon validation (SC, SRS, PRP), pp. 497–502.
DATE-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.
DATE-2013-SureshYOS #adaptation #multi #reduction: Adaptive reduction of the frequency search space for multi-vdd digital circuits (CKHS, EY, SO, OS), pp. 292–295.
ICDAR-2013-DjeddiSSE #question #representation: Codebook for Writer Characterization: A Vocabulary of Patterns or a Mere Representation Space? (CD, IS, LSM, AE), pp. 423–427.
ICDAR-2013-El-KorashyS #recognition #reduction: Search Space Reduction for Holistic Ligature Recognition in Urdu Nastalique Script (AEK, FS), pp. 1125–1129.
ICDAR-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.
PODS-2013-ChenM #classification #complexity #query: The fine classification of conjunctive queries and parameterized logarithmic space complexity (HC, MM), pp. 309–320.
SIGMOD-2013-MoerkotteFE #on the: On the correct and complete enumeration of the core search space (GM, PF, ME), pp. 493–504.
SIGMOD-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.
VLDB-2013-DayanSBBB #algorithm #design #named: EagleTree: Exploring the Design Space of SSD-Based Algorithms (ND, MKS, MB, PB, LB), pp. 1290–1293.
VLDB-2013-LinMRRW #framework #mining #named #online #parametricity: PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
VLDB-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.
ESOP-2013-HofmannR #analysis #automation #type inference: Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
STOC-2013-KalaiRR #bound: Delegation for bounded space (YTK, RR, RDR), pp. 565–574.
ICALP-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.
ICALP-v1-2013-BauerCRW: Search-Space Size in Contraction Hierarchies (RB, TC, IR, DW), pp. 93–104.
ICALP-v1-2013-BilleFGKSV: Sparse Suffix Tree Construction in Small Space (PB, JF, ILG, TK, BS, HWV), pp. 148–159.
ICALP-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.
ICALP-v1-2013-MoruzN #algorithm #bound #random: Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms (GM, AN), pp. 757–768.
IFM-2013-GavaFG #algorithm #deduction #verification: Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.
CHI-2013-AkpanMBH #interactive: Exploring the effects of space and place on engagement with an interactive installation (IA, PM, JB, DH), pp. 2213–2222.
CHI-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.
CHI-2013-HasanAI #mobile #named: Ad-binning: leveraging around device space for storing, browsing and retrieving mobile device content (KH, DA, PI), pp. 899–908.
CHI-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.
CHI-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.
CHI-2013-McPhersonGS: The space between the notes: adding expressive pitch control to the piano keyboard (APM, AG, AMS), pp. 2195–2204.
CHI-2013-SantosaCBS #editing #visual notation: Direct space-time trajectory control for visual media editing (SS, FC, RB, KS), pp. 1149–1158.
CHI-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.
CHI-2013-SutcliffeIFPSG #using: Improving digital handoff using the space above the table (SWTS, ZI, DRF, AP, IS, CG), pp. 735–744.
CHI-2013-WagnerNGHM #design #interactive #multi: Body-centric design space for multi-surface interaction (JW, MN, SG, SH, WEM), pp. 1299–1308.
CHI-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.
CSCW-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.
CSCW-2013-LopezB #community #online: Consequences of content diversity for online public spaces for local communities (CAL, BSB), pp. 673–682.
DUXU-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.
DUXU-NTE-2013-WaldronS: Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
DUXU-WM-2013-Huang #design #functional #interactive: Proactive Home Furnishings: Inspiring from Interactive Art for Designing Functional Aesthetics in a Space (SCCH), pp. 367–375.
DUXU-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.
HCI-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.
HCI-IMT-2013-BoyP: A Situation Awareness Assistant for Human Deep Space Exploration (GAB, DP), pp. 629–636.
HCI-IMT-2013-DruryPKL #design #lessons learnt #visualisation: Decision Space Visualization: Lessons Learned and Design Principles (JLD, MSP, GLK, YL), pp. 658–667.
HCI-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.
HIMI-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.
HIMI-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.
HIMI-LCCB-2013-ItaiEM #design: Design of Space for Expression Media with the Use of Fog (SI, YE, YM), pp. 210–218.
HIMI-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.
HIMI-LCCB-2013-NieminenTR #design #requirements: Digital War Room for Design — Requirements for Collocated Group Work Spaces (MPN, MT, MR), pp. 352–361.
HIMI-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.
HIMI-LCCB-2013-TyllinenN #collaboration #interactive #memory management: Supporting Group and Personal Memory in an Interactive Space for Collaborative Work (MT, MN), pp. 381–390.
OCSC-2013-VillanuevaMTGHP #distributed #interactive: Context Management for RFID-Based Distributed Interaction Spaces (PGV, FAM, RT, JAG, AH, VMRP), pp. 355–364.
ECIR-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.
ICML-c2-2013-HanczarN #clustering: Precision-recall space to correct external indices for biclustering (BH, MN), pp. 136–144.
ICML-c3-2013-AlmingolML #behaviour #learning #multi: Learning Multiple Behaviors from Unlabeled Demonstrations in a Latent Controller Space (JA, LM, ML), pp. 136–144.
ICML-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.
ICML-c3-2013-LeSS #named: Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.
ICML-c3-2013-ZhangZWKYM #kernel: Covariate Shift in Hilbert Space: A Solution via Sorrogate Kernels (KZ, VWZ, QW, JTYK, QY, IM), pp. 388–395.
KDD-2013-ChenXJ #modelling #multi #probability #sequence: Multi-space probabilistic sequence modeling (SC, JX, TJ), pp. 865–873.
KDD-2013-JhaSP #algorithm #performance #streaming #using: A space efficient streaming algorithm for triangle counting using the birthday paradox (MJ, CS, AP), pp. 589–597.
KDD-2013-WangMP #metric #scalability #similarity: Scalable all-pairs similarity search in metric spaces (YW, AM, SP), pp. 829–837.
KDIR-KMIS-2013-ChenYTH #behaviour #predict: The Disulfide Connectivity Prediction with Support Vector Machine and Behavior Knowledge Space (HYC, CBY, KTT, CYH), pp. 112–118.
SEKE-2013-AndradeM #adaptation #architecture #design #feedback #self: Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems (S) (SSA, RJdAM), pp. 741–746.
SEKE-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.
LOPSTR-2013-NishidaV #finite #representation: A Finite Representation of the Narrowing Space (NN, GV), pp. 54–71.
SAC-2013-AbrilNT #documentation #towards: Towards a private vector space model for confidential documents (DA, GNA, VT), pp. 944–945.
SAC-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.
ICSE-2013-EsfahaniMR #architecture #named #nondeterminism: GuideArch: guiding the exploration of architectural solution space under uncertainty (NE, SM, KR), pp. 43–52.
ICSE-2013-Nadi #case study #open source #variability: A study of variability spaces in open source software (SN), pp. 1353–1356.
PPoPP-2013-PadmanabhanCC #composition #streaming: Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.
PPoPP-2013-ParkSI #concurrent #detection #scalability #source code: Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
CAV-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.
ISSTA-2013-KifetewPLOT #generative #orthogonal #testing: Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
LICS-2013-Jacobs #logic: Measurable Spaces and Their Effect Logic (BJ0), pp. 83–92.
VMCAI-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.
DAC-2012-GuoYSCZ #classification #distance #metric: Improved tangent space based distance metric for accurate lithographic hotspot classification (JG, FY, SS, CC, XZ), pp. 1173–1178.
DAC-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.
DATE-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.
DATE-2012-PiscitelliP #analysis #design #hybrid: Design space pruning through hybrid analysis in system-level design space exploration (RP, ADP), pp. 781–786.
DATE-2012-PomataMTRL #design #performance: Exploiting binary translation for fast ASIP design space exploration on FPGAs (SP, PM, GT, LR, ML), pp. 566–569.
DATE-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.
PODS-2012-GrossiO #maintenance #sequence #string: The wavelet trie: maintaining an indexed sequence of strings in compressed space (RG, GO), pp. 203–214.
PODS-2012-McGregorPTW #estimation #statistics: Space-efficient estimation of statistics over sub-sampled streams (AM, AP, ST, DPW), pp. 273–282.
PODS-2012-Nekrich #category theory: Space-efficient range reporting for categorical data (YN), pp. 113–120.
PODS-2012-XuT #clustering #on the: On the optimality of clustering properties of space filling curves (PX, ST), pp. 215–224.
VLDB-2012-SilvaP #database #metric #similarity: Exploiting Database Similarity Joins for Metric Spaces (YNS, SP), pp. 1922–1925.
ESOP-2012-FajstrupGHMR #performance #reduction: Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
CSMR-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.
STOC-2012-BansalBJK #trade-off: Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.
STOC-2012-BeameBI #bound #trade-off: Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.
STOC-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.
DLT-2012-SaloT #geometry: Geometry and Dynamics of the Besicovitch and Weyl Spaces (VS, IT), pp. 465–470.
ICALP-v1-2012-EmekHR: Space-Constrained Interval Selection (YE, MMH, AR), pp. 302–313.
LATA-2012-Axelsen #automaton #finite #multi: Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (HBA), pp. 95–105.
LATA-2012-Cervelle: Covering Space in the Besicovitch Topology (JC), pp. 169–178.
GRAPHITE-2012-ZambonR #graph: Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.
GT-VMT-2012-ArijoH #generative #graph transformation #modelling: View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
CHI-2012-ArroyoBV #behaviour #embedded #interactive: Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHI-2012-BardramGHN #collaboration #distributed #named: ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHI-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.
CHI-2012-JavedGE #2d #multi #named #visual notation: Polyzoom: multiscale and multifocus exploration in 2d visual spaces (WJ, SG, NE), pp. 287–296.
CHI-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.
CHI-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.
CHI-2012-SlovakJF #comprehension #towards: Understanding heart rate sharing: towards unpacking physiosocial space (PS, JJ, GF), pp. 859–868.
CHI-2012-WilliamsonM: Rewarding the original: explorations in joint user-sensor motion spaces (JW, RMS), pp. 1717–1726.
CHI-2012-WisniewskiLW #bound: Fighting for my space: coping mechanisms for sns boundary regulation (PJW, HRL, DW), pp. 609–618.
CHI-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.
CSCW-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.
CSCW-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.
CIKM-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.
CIKM-2012-QiYZZ #mining #multi: Mining noisy tagging from multi-label space (ZQ, MY, Z(Z, ZZ), pp. 1925–1929.
CIKM-2012-WangSGM #adaptation #collaboration: Adapting vector space model to ranking-based collaborative filtering (SW, JS, BJG, JM), pp. 1487–1491.
CIKM-2012-YinPZH #multi #summary: Query-focused multi-document summarization based on query-sensitive feature space (WY, YP, FZ, LH), pp. 1652–1656.
ICML-2012-BoydDPC #empirical #evaluation: Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation (KB, JD, DP, VSC), p. 210.
ICML-2012-DoppaFT #predict: Output Space Search for Structured Prediction (JRD, AF, PT), p. 107.
ICML-2012-HartikainenSS #modelling #predict: State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICML-2012-LiuL #modelling #multi #named: Sparse-GEV: Sparse Latent Space Model for Multivariate Extreme Value Time Serie Modeling (YL, MTB, HL), p. 156.
ICPR-2012-ChenYY #analysis #null #recognition #scalability: Large margin null space discriminant analysis with applications to face recognition (XC, JY, WY), pp. 1679–1682.
ICPR-2012-DuAL #evaluation #identification: Evaluation of color spaces for person re-identification (YD, HA, SL), pp. 1371–1374.
ICPR-2012-LingZP #ranking #retrieval #similarity: Tri-space and ranking based heterogeneous similarity measure for cross-media retrieval (LL, XZ, YP), pp. 230–233.
ICPR-2012-LiuW12a #feature model #kernel: Unsupervised discriminative feature selection in a kernel space via L2, 1-norm minimization (YL, YW), pp. 1205–1208.
ICPR-2012-NaitoKSS #using: Deblurring depth blur and motion blur simultaneously by using space-time coding (RN, TK, FS, JS), pp. 2177–2180.
ICPR-2012-OumerP #3d #estimation #image #using: 3D point tracking and pose estimation of a space object using stereo images (NWO, GP), pp. 796–800.
ICPR-2012-WangLNZ #image #retrieval: Local tangent space based manifold entropy for image retrieval (YW, HL, JN, LZ), pp. 262–265.
ICPR-2012-XuGN #image #using: Morphological filtering in shape spaces: Applications using tree-based image representations (YX, TG, LN), pp. 485–488.
KDD-2012-BoleyMG #linear #using: Linear space direct pattern sampling using coupling from the past (MB, SM, TG), pp. 69–77.
KEOD-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.
SEKE-2012-BagheriSS #named #synthesis #trade-off: Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
SEKE-2012-NarataM #linear: Managing Linear Hash in a Closed Space (SN, TM), pp. 741–746.
SIGIR-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.
POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming: Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
RE-2012-Ghazarian #functional #requirements #taxonomy: Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
SAC-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.
SAC-2012-BlankH #information retrieval #metric #multi #performance: Inverted file-based indexing for efficient multimedia information retrieval in metric spaces (DB, AH), pp. 900–905.
SAC-2012-CrassK #coordination #data access: A coordination-based access control model for space-based computing (SC, EK), pp. 1560–1562.
SAC-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.
SAC-2012-KuttyCN #modelling #recommendation #using: A people-to-people recommendation system using tensor space models (SK, LC, RN), pp. 187–192.
SAC-2012-MirizziNSR #recommendation #semantics #web: Web 3.0 in action: Vector Space Model for semantic (movie) Recommendations (RM, TDN, EDS, AR), pp. 403–405.
ICSE-2012-Camilli #analysis #in the cloud #petri net: Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
PLEASE-2012-FantGP #product line: Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.
PLEASE-2012-LeitnerWK #multi #optimisation #problem: Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
ASPLOS-2012-CaulfieldMEDCS #performance: Providing safe, user space access to fast, solid state disks (AMC, TIM, LAE, AD, JC, SS), pp. 387–400.
ASPLOS-2012-ClementsKZ #scalability #using: Scalable address spaces using RCU balanced trees (ATC, MFK, NZ), pp. 199–210.
ISMM-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.
LCTES-2012-ZuluagaKMP #design #predict: “Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.
CAV-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.
CAV-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.
CAV-2012-PaulaHN #debugging #named #nondeterminism: nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
CSL-2012-Berardid #learning: Knowledge Spaces and the Completeness of Learning Strategies (SB, Ud), pp. 77–91.
ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using: Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.
ICST-2012-CadavidBS #bound #metamodelling #modelling: Searching the Boundaries of a Modeling Space to Test Metamodels (JJC, BB, HAS), pp. 131–140.
ICST-2012-JagannathKLM #independence #metric: Evaluating Machine-Independent Metrics for State-Space Exploration (VJ, MK, YL, DM), pp. 320–329.
ICST-2012-SegallTZ #combinator #modelling: Simplified Modeling of Combinatorial Test Spaces (IS, RTB, AZ), pp. 573–579.
ASE-2011-BokorKSS #partial order #reduction: Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ASE-2011-HegedusHRV #design #framework #modelling: A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.
ASE-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.
ASE-2011-ParizekL #identification #traversal: Identifying future field accesses in exhaustive state space traversal (PP, OL), pp. 93–102.
DAC-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.
DAC-2011-LiuDPC #approximate #composition #design #set: Supervised design space exploration by compositional approximation of Pareto sets (HYL, ID, MP, LPC), pp. 399–404.
DAC-2011-PaulaNNOH #named: TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
DATE-2011-ChenZD #optimisation: Integrated circuit white space redistribution for temperature optimization (YC, HZ, RPD), pp. 613–618.
DATE-2011-KhatibA #design #streaming: Buffering implications for the design space of streaming MEMS storage (MGK, LA), pp. 253–256.
DATE-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.
DATE-2011-WeisWLB #3d #design: Design space exploration for 3D-stacked DRAMs (CW, NW, IL, LB), pp. 389–394.
ICDAR-2011-Epshtein #documentation #using: Determining Document Skew Using Inter-line Spaces (BE), pp. 27–31.
ICDAR-2011-KimO #documentation #image #segmentation #using: Script-Free Text Line Segmentation Using Interline Space Model for Printed Document Images (MK, ISO), pp. 1354–1358.
ICDAR-2011-KleberDS #estimation #using: Scale Space Binarization Using Edge Information Weighted by a Foreground Estimation (FK, MD, RS), pp. 1180–1184.
PODS-2011-OrlandiV #estimation #string: Space-efficient substring occurrence estimation (AO, RV), pp. 95–106.
SIGMOD-2011-DebnathSL #named #ram: SkimpyStash: RAM space skimpy key-value store on flash-based storage (BKD, SS, JL), pp. 25–36.
SIGMOD-2011-SadoghiJ #named: BE-tree: an index structure to efficiently match boolean expressions over high-dimensional discrete space (MS, HAJ), pp. 637–648.
ITiCSE-2011-HoverHR #collaboration #learning: A collaborative linked learning space (KMH, MH, GR), p. 380.
ITiCSE-2011-HoverHRM #collaboration #how #learning #student: Evaluating how students would use a collaborative linked learning space (KMH, MH, GR, MM), pp. 88–92.
FoSSaCS-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.
WCRE-2011-Raber #debugging #kernel #profiling: Stealthy Profiling and Debugging of Malware Trampolining from User to Kernel Space (JR), pp. 431–432.
PLDI-2011-DEliaDF #mining: Mining hot calling contexts in small space (DCD, CD, IF), pp. 516–527.
STOC-2011-ColeCGMO #coordination: Inner product spaces for MinSum coordination mechanisms (RC, JRC, VG, VSM, NO), pp. 539–548.
STOC-2011-KaneNPW #data type #estimation #performance: Fast moment estimation in data streams in optimal space (DMK, JN, EP, DPW), pp. 745–754.
STOC-2011-LeeS #bound: Near-optimal distortion bounds for embedding doubling spaces into L1 (JRL, AS), pp. 765–772.
ICALP-v1-2011-DurocherHMNS #constant #linear: Range Majority in Constant Time and Linear Space (SD, MH, JIM, PKN, MS), pp. 244–255.
ICALP-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.
ICALP-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.
LATA-2011-LisitsaPS #automaton: Planarity of Knots, Register Automata and LogSpace Computability (AL, IP, RS), pp. 366–377.
FM-2011-ZhangSPLD #on the #reduction: On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
CHI-2011-DiakopoulosKN #design: Playable data: characterizing the design space of game-y infographics (ND, FKS, MN), pp. 1717–1726.
CHI-2011-Gaver #design #how: Making spaces: how design workbooks work (WWG), pp. 1551–1560.
CHI-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.
CHI-2011-JudgeNHB #multi #product line: Family portals: connecting families through a multifamily media space (TKJ, CN, SH, ACB), pp. 1205–1214.
CHI-2011-WillettHHA #analysis #collaboration #named #visual notation: CommentSpace: structured support for collaborative visual analysis (WW, JH, JMH, MA), pp. 3131–3140.
DUXU-v1-2011-PetrovicS #towards: Make Space for the Customer: The Shift towards Customer Centricity (KP, MS), pp. 485–490.
DUXU-v2-2011-LeiZLC #interface #usability: Influencing Mechanism of Apparent Space Dimensions on Interface Aesthetics and Apparent Usability (TL, YZ, XL, XC), pp. 588–597.
DUXU-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.
HCI-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.
HCI-ITE-2011-WuJMM #framework: A Framework Interweaving Tangible Objects, Surfaces and Spaces (AW, JJ, SM, AM), pp. 148–157.
HCI-MIIE-2011-LinCL #design #interactive: Designing Poetic Interaction in Space (YCL, HMC, RHL), pp. 559–568.
HCI-MIIE-2011-RattanyuM #biology #recognition #using: Emotion Recognition Using Biological Signal in Intelligent Space (KR, MM), pp. 586–592.
HCI-MIIE-2011-YuC #hybrid #interactive: Reacting with Care: The Hybrid Interaction Types in a Sensible Space (GJY, TWC), pp. 250–258.
HIMI-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.
HIMI-v2-2011-UesakaIY #visual notation: A Digital Archive System for Preserving Audio and Visual Space (MU, YI, TY), pp. 103–110.
IDGD-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.
CAiSE-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.
ICEIS-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.
CIKM-2011-ChristoforakiHDMS #performance #query: Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKM-2011-MaZSDC #query: Matching query processing in high-dimensional space (CM, YZ, LS, DD, GC), pp. 1589–1594.
CIKM-2011-OttavianoG: Semi-indexing semi-structured data in tiny space (GO, RG), pp. 1485–1494.
CIKM-2011-QuC #probability: Sparse structured probabilistic projections for factorized latent spaces (XQ, XC), pp. 1389–1394.
CIKM-2011-XuSPZ #kernel #named #performance: TAKES: a fast method to select features in the kernel space (YX, FS, WP, JZ), pp. 683–692.
ICML-2011-JetchevT #feedback #retrieval #using: Task Space Retrieval Using Inverse Feedback Control (NJ, MT), pp. 449–456.
ICML-2011-SmallWBT #learning: The Constrained Weight Space SVM: Learning with Ranked Features (KS, BCW, CEB, TAT), pp. 865–872.
KDD-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.
KDD-2011-ZhangLS #learning: Serendipitous learning: learning beyond the predefined label space (DZ, YL, LS), pp. 1343–1351.
KDIR-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.
RecSys-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.
SIGIR-2011-AnandBBS #performance: Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.
MoDELS-2011-DragoGM #model transformation #quality #towards: Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MoDELS-2011-DragoGM #model transformation #quality #towards: Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
POPL-2011-BenderskyP #bound #memory management: Space overhead bounds for dynamic memory management with partial compaction (AB, EP), pp. 475–486.
SAC-2011-BanZATK #mining: Mining interlacing manifolds in high dimensional spaces (TB, CZ, SA, TT, YK), pp. 942–949.
SAC-2011-KuoLC #algorithm #clustering #testing: Testing a binary space partitioning algorithm with metamorphic testing (FCK, SL, TYC), pp. 1482–1489.
SAC-2011-NardiniOV: Description spaces with fuzziness (EN, AO, MV), pp. 869–876.
SAC-2011-Sanchez-GilHO: Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.
SAC-2011-SchneiderPB #comprehension #wiki: Understanding and improving Wikipedia article discussion spaces (JS, AP, JGB), pp. 808–813.
SAC-2011-VandicDHF #approach #clustering #semantics: A semantic clustering-based approach for searching and browsing tag spaces (DV, JWvD, FH, FF), pp. 1693–1699.
ICSE-2011-HardyBKW #development: Digitally annexing desk space for software development (JH, CB, GK, JW), pp. 812–815.
SPLC-2011-Hinchey #product line: Families (of Products) in Space (MH), pp. 8–9.
CGO-2011-ParkPCCS #modelling #optimisation #predict: Predictive modeling in a polyhedral optimization space (EP, LNP, JC, AC, PS), pp. 119–129.
HPDC-2011-AlvarezBGMNA #design #replication: Design space exploration for aggressive core replication schemes in CMPs (LA, RB, MG, XM, NN, EA), pp. 269–270.
CAV-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.
CSL-2011-CardelliLM #axiom #logic #markov #metric: Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
CSL-2011-GroheGHL #logic #recursion: L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
LICS-2011-EhrhardPT #probability: The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
SAT-2011-Minato #diagrams #named #performance #permutation #problem: πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
VMCAI-2011-FrohardtCS #modelling #physics: Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
CBSE-2010-JensonDG #component #dependence #empirical: An Empirical Study of the Component Dependency Resolution Search Space (GJ, JD, HWG), pp. 182–199.
DAC-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.
DAC-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.
DAC-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.
DATE-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.
DATE-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.
DATE-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.
DATE-2010-KoebelC #named: SCOC3: a space computer on a chip (FK, JFC), pp. 1345–1348.
DATE-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.
DATE-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.
DATE-2010-Pignol: COTS-based applications in space avionics (MP), pp. 1213–1219.
DATE-2010-VergariBSDZRC: A Smart Space application to dynamically relate medical and environmental information (FV, SB, FS, AD, GZ, LR, TSC), pp. 1542–1547.
DATE-2010-YangGBSC #automation: Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
DRR-2010-YinBA #classification #documentation #optimisation: Time and space optimization of document content classifiers (DY, HSB, CA), pp. 1–10.
VLDB-2011-LeeH10 #clustering #named #performance #using: QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
ITiCSE-2010-DukielskaS #distributed #programming: JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.
ESOP-2010-LagoS #functional #programming #sublinear: Functional Programming in Sublinear Space (UDL, US), pp. 205–225.
ICPC-2010-ScannielloDDD #algorithm #clustering #using: Using the Kleinberg Algorithm and Vector Space Model for Software System Clustering (GS, AD, CD, TD), pp. 180–189.
ICSM-2010-Alves #assessment #maintenance: Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
PASTE-2010-MizushimaMY #constant #parsing: Packrat parsers can handle practical grammars in mostly constant space (KM, AM, YY), pp. 29–36.
SAS-2010-Lesens #question #static analysis #using #why: Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.
STOC-2010-DodisPT: Changing base without losing space (YD, MP, MT), pp. 593–602.
STOC-2010-LokshtanovN #algebra: Saving space by algebraization (DL, JN), pp. 321–330.
AFL-J-2008-MalcherMP10 #array #bound: Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.
DLT-2010-GeffertP #automaton: Two-Way Unary Automata versus Logarithmic Space (VG, GP), pp. 197–208.
ICALP-v1-2010-BjorklundHKK #linear: Covering and Packing in Linear Space (AB, TH, PK, MK), pp. 727–737.
ICALP-v1-2010-Ito #approximate #proving: Polynomial-Space Approximation of No-Signaling Provers (TI), pp. 140–151.
ICALP-v1-2010-RubinfeldX #independence #testing: Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
ICALP-v2-2010-BrazdilEKL #scheduling: Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
ICALP-v2-2010-Goubault-Larrecq #verification: Noetherian Spaces in Verification (JGL), pp. 2–21.
CHI-2010-AndrewsEN #scalability: Space to think: large high-resolution displays for sensemaking (CA, AE, CN), pp. 55–64.
CHI-2010-FaridaniBRG #online #scalability: Opinion space: a scalable tool for browsing online comments (SF, EB, KR, KYG), pp. 1175–1184.
CHI-2010-JudgeNK #design #evaluation #product line: The family window: the design and evaluation of a domestic media space (TKJ, CN, AFK), pp. 2361–2370.
CHI-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.
CHI-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.
SOFTVIS-2010-ParninGR #interactive #maintenance #named #programming: CodePad: interactive spaces for maintaining concentration in programming environments (CP, CG, SR), pp. 15–24.
ICEIS-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.
CIKM-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.
CIKM-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.
CIKM-2010-FanWW #clustering #normalisation #performance #visual notation: Maximum normalized spacing for efficient visual clustering (ZGF, YW, BW), pp. 409–418.
CIKM-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.
ICML-2010-CoenAF #clustering: Comparing Clusterings in Space (MHC, MHA, NF), pp. 231–238.
ICML-2010-SongSGS #markov #modelling: Hilbert Space Embeddings of Hidden Markov Models (LS, BB, SMS, GJG, AJS), pp. 991–998.
ICPR-2010-BatesLM #representation: Scale-Space Spectral Representation of Shape (JB, XL, WM), pp. 2648–2651.
ICPR-2010-BouboulisTS #image #kernel: Edge Preserving Image Denoising in Reproducing Kernel Hilbert Spaces (PB, ST, KS), pp. 2660–2663.
ICPR-2010-ChenL #distance #recognition: Feature Space Hausdorff Distance for Face Recognition (SC, BCL), pp. 1465–1468.
ICPR-2010-DurrantK #bound #performance: A Bound on the Performance of LDA in Randomly Projected Data Spaces (RJD, AK), pp. 4044–4047.
ICPR-2010-FeragenLN: Fundamental Geodesic Deformations in Spaces of Treelike Shapes (AF, FL, MN), pp. 2089–2093.
ICPR-2010-HassanCG #documentation #image #kernel #retrieval #using: Document Image Retrieval Using Feature Combination in Kernel Space (EH, SC, MG), pp. 2009–2012.
ICPR-2010-HemerySR #authentication #case study #image: Study on Color Spaces for Single Image Enrolment Face Authentication (BH, JJS, CR), pp. 1249–1252.
ICPR-2010-KamarainenI #canonical #detection #learning: Learning and Detection of Object Landmarks in Canonical Object Space (JKK, JI), pp. 1409–1412.
ICPR-2010-KhreichGMS #classification: Boolean Combination of Classifiers in the ROC Space (WK, EG, AM, RS), pp. 4299–4303.
ICPR-2010-KrishnanS #detection #using: Detecting Group Turn Patterns in Conversations Using Audio-Video Change Scale-Space (RK, SS), pp. 137–140.
ICPR-2010-NicolaouGP #classification: Audio-Visual Classification and Fusion of Spontaneous Affective Data in Likelihood Space (MAN, HG, MP), pp. 3695–3699.
ICPR-2010-QuWL #difference #image #recognition #using: Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
ICPR-2010-ReckyL #detection #using: Windows Detection Using K-means in CIE-Lab Color Space (MR, FL), pp. 356–359.
ICPR-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.
ICPR-2010-TsagkatakisS #distance #modelling #random #recognition: Manifold Modeling with Learned Distance in Random Projection Space for Face Recognition (GT, AES), pp. 653–656.
ICPR-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.
KDD-2010-FeiH #classification #functional #graph: Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.
KDIR-2010-NcirEB #clustering #kernel: Kernel Overlapping K-Means for Clustering in Feature Space (CEBN, NE, PB), pp. 250–255.
KR-2010-KontchakovPZ #logic: Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).
RecSys-2010-Musto #modelling #recommendation: Enhanced vector space models for content-based recommender systems (CM), pp. 361–364.
SIGIR-2010-RadovanovicNI #modelling #on the: On the existence of obstinate results in vector space models (MR, AN, MI), pp. 186–193.
MoDELS-v1-2010-SaxenaK #approach #design: MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.
SAC-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.
SAC-2010-ChenS #3d #interactive #matrix #modelling: Modeling cardinal directions in the 3D space with the objects interaction cube matrix (TC, MS), pp. 906–910.
SAC-2010-FautschS #adaptation #information retrieval: Adapting the tf idf vector-space model to domain specific information retrieval (CF, JS), pp. 1708–1712.
SAC-2010-Mohy-ud-DinM #detection #probability: Detecting narrow passages in configuration spaces via spectra of probabilistic roadmaps (HMuD, AM), pp. 1294–1298.
SAC-2010-ParizekY #component #interactive #traversal #using: Extraction of component-environment interaction model using state space traversal (PP, NY), pp. 2203–2210.
SAC-2010-RajgarhiaG #file system #performance: Performance and extension of user space file systems (AR, AG), pp. 206–213.
HPDC-2010-DocanPK #coordination #framework #interactive #named #simulation #workflow: DataSpaces: an interaction and coordination framework for coupled simulation workflows (CD, MP, SK), pp. 25–36.
HPDC-2010-HaraT #framework: A global address space framework for irregular applications (KH, KT), pp. 296–299.
ISMM-2010-PetricekS: Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
ICST-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.
LICS-2010-Abramsky #algebra #physics: Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
WICSA-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.
ASE-2009-LauterburgDMA #framework #source code: A Framework for State-Space Exploration of Java-Based Actor Programs (SL, MD, DM, GAA), pp. 468–479.
ASE-2009-TaleghaniA #estimation: State-Space Coverage Estimation (AT, JMA), pp. 459–467.
CASE-2009-BountourelisR #algorithm #learning: Customized learning algorithms for episodic tasks with acyclic state spaces (TB, SR), pp. 627–634.
DAC-2009-XiongSZV #multi #process #statistics: Statistical multilayer process space coverage for at-speed test (JX, YS, VZ, CV), pp. 340–345.
DATE-2009-AvnitS #approach #design #formal method #protocol: A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
DATE-2009-BauerSH #architecture #configuration management #design: Cross-architectural design space exploration tool for reconfigurable processors (LB, MS, JH), pp. 958–963.
DATE-2009-ChouM #design: User-centric design space exploration for heterogeneous Network-on-Chip platforms (CLC, RM), pp. 15–20.
DATE-2009-HolstW #algorithm: A diagnosis algorithm for extreme space compaction (SH, HJW), pp. 1355–1360.
DATE-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.
HT-2009-AbbasiS #folksonomy #modelling #named: RichVSM: enRiched vector space models for folksonomies (RA, SS), pp. 219–228.
HT-2009-Efimova: Weblog as a personal thinking space (LE), pp. 289–298.
PODS-2009-BerindeCIS #bound #fault: Space-optimal heavy hitters with strong error bounds (RB, GC, PI, MJS), pp. 157–166.
SIGMOD-2009-NicaBH #query #visualisation: Extreme visualisation of query optimizer search space (AN, DSB, DWH), pp. 1067–1070.
SIGMOD-2009-ZhangMC #clustering #scalability #using: Scalable skyline computation using object-based space partitioning (SZ, NM, DWC), pp. 483–494.
VLDB-2009-HasanZ #graph: Output Space Sampling for Graph Patterns (MAH, MJZ), pp. 730–741.
VLDB-2009-WuXMH #analysis #multi: Promotion Analysis in Multi-Dimensional Space (TW, DX, QM, JH), pp. 109–120.
WRLA-2008-HassN09 #abstraction #equation: Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.
WRLA-2008-Rodriguez09: Combining Techniques to Reduce State Space and Prove Strong Properties (DER), pp. 267–280.
ESOP-2009-SiekGT #design #higher-order: Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.
TACAS-2009-MateescuW #adaptation: Hierarchical Adaptive State Space Caching Based on Level Sampling (RM, AW), pp. 215–229.
ICPC-2009-GrantC #analysis: Vector space analysis of software clones (SG, JRC), pp. 233–237.
ICALP-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.
ICALP-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.
LATA-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.
LATA-2009-Jain #learning: Hypothesis Spaces for Learning (SJ), pp. 43–58.
LATA-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.
CHI-2009-GonzalesFD #question: (Perceived) interactivity: does interactivity increase enjoyment and creative identity in artistic spaces? (ALG, TF, SPD), pp. 415–418.
CHI-2009-HarryGD #physics: backchan.nl: integrating backchannels in physical space (DH, JG, JSD), pp. 1361–1370.
CHI-2009-JiangVBLS #education #named: CThru: exploration in a video-centered information space for educational purposes (HJ, AV, MB, RAL, CS), pp. 1247–1250.
CHI-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.
CHI-2009-NakanishiMK #social: Movable cameras enhance social telepresence in media spaces (HN, YM, KK), pp. 433–442.
CHI-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.
DHM-2009-BensonR #complexity: Complexity of Sizing for Space Suit Applications (EB, SR), pp. 599–607.
HCI-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.
HIMI-DIE-2009-KanaiOM #3d #physics: Manipulation with Fingers in a 3-D Physical Space (YK, MO, HM), pp. 515–523.
HIMI-II-2009-RheeKKLC #communication: Expanding SNS Features with CE Devices: Space, Profile, Communication (YR, HK, YK, JL, IC), pp. 458–467.
HIMI-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.
IDGD-2009-GurzickW #developer #online #social: Developers and Moderators: Observations in the Co-development of an Online Social Space (DG, KFW), pp. 164–172.
OCSC-2009-CindioP #community #online #question: Are Online Communities Good for the Civic Audit of Public Spaces, Services, and Officers? (FdC, CP), pp. 673–681.
OCSC-2009-MatsudaIY #design #interface #web: Web Interface for Designing and Sharing Sound Space (SM, SI, TY), pp. 374–380.
ICEIS-DISI-2009-ClaypoolMHSR #integration #named: ESpace — Web-scale Integration One Step at a Time (KTC, JLM, DVH, MS, EAR), pp. 247–252.
ICEIS-J-2009-ChenPZQ #case study #hybrid: A Study of Indexing Strategies for Hybrid Data Spaces (CC, SP, QZ, GQ), pp. 149–159.
CIKM-2009-LiM #query: Supporting context-based query in personal DataSpace (YL, XM), pp. 1437–1440.
CIKM-2009-TangSB #string: Space-economical partial gram indices for exact substring matching (NT, LS, PAB), pp. 285–294.
CIKM-2009-WangTFCYL #ranking: Heterogeneous cross domain ranking in latent space (BW, JT, WF, SC, ZY, YL), pp. 987–996.
CIKM-2009-YangLJ #monitoring #scalability: Scalable continuous range monitoring of moving objects in symbolic indoor space (BY, HL, CSJ), pp. 671–680.
ECIR-2009-DemartiniGN #ranking: A Vector Space Model for Ranking Entities and Its Application to Expert Search (GD, JG, WN), pp. 189–201.
ICML-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.
ICML-2009-SongHSF: Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
ICML-2009-WagstaffB #evaluation: K-means in space: a radiation sensitivity evaluation (KLW, BJB), pp. 1097–1104.
KDD-2009-NijssenGR #approach #constraints #correlation #mining #programming: Correlated itemset mining in ROC space: a constraint programming approach (SN, TG, LDR), pp. 647–656.
KDIR-2009-SzekelyBM #clustering: Unsupervised Discriminant Embedding in Cluster Spaces (ES, EB, SMM), pp. 70–76.
KEOD-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.
KMIS-2009-AlvesM #correlation: Best use of Knowledge in a Space Program — Managing the Correlated Technologies (MBA, AMM), pp. 301–304.
MLDM-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.
MLDM-2009-RiesenB #difference #graph #prototype #reduction #using: Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
SEKE-2009-Chang: Virtual Spaces: From the Past to the Future (SKC), p. 2.
SIGIR-2009-LeeLP #reduction #similarity #using: Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
ECMDA-FA-2009-SadovykhVGHGE #on the: On Study Results: Round Trip Engineering of Space Systems (AS, LV, EG, AH, JG, OE), pp. 265–276.
TOOLS-EUROPE-2009-KnorreckAP #design #performance #simulation: Fast Simulation Techniques for Design Space Exploration (DK, LA, RP), pp. 308–327.
GPCE-2009-SanenTJ #approach #feature model #interactive #problem: Mapping problem-space to solution-space features: a feature interaction approach (FS, ET, WJ), pp. 167–176.
SAC-2009-FarberB #composition #multi: Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
SAC-2009-GaoS #graph #performance: Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces (HG, MS), pp. 1122–1126.
SAC-2009-KangKL #metric #similarity: Similarity measures for trajectory of moving objects in cellular space (HYK, JSK, KJL), pp. 1325–1330.
SAC-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.
SAC-2009-PinhoOL #incremental #set #visualisation: Incremental board: a grid-based space for visualizing dynamic data sets (RP, MCFdO, AdAL), pp. 1757–1764.
SAC-2009-SilvaML #approach #automation #heuristic: Heuristic approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
ISMM-2009-AlbertGG #analysis #garbage collection: Live heap space analysis for languages with garbage collection (EA, SG, MGZ), pp. 129–138.
CSL-2009-HofmannR #analysis #performance: Efficient Type-Checking for Amortised Heap-Space Analysis (MH, DR), pp. 317–331.
ICST-2009-BardinH #generative #testing: Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ISSTA-2009-FoucheCP #array #incremental #scalability: Incremental covering array failure characterization in large configuration spaces (SF, MBC, AAP), pp. 177–188.
CBSE-2008-LumpeGS #component #interface #reduction: State Space Reduction Techniques for Component Interfaces (ML, LG, JGS), pp. 130–145.
WICSA-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.
CASE-2008-NelaturiAST: Feasible spaces in weld gun selection (SN, AA, VS, RT), pp. 870–875.
CASE-2008-SenthilkumaranPR: Shrinkage compensation along single direction dexel space for improving accuracy in Selective Laser Sintering (KS, PMP, PVMR), pp. 827–832.
DAC-2008-CookS #design #predict #using: Predictive design space exploration using genetically programmed response surfaces (HC, KS), pp. 960–965.
DAC-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.
DAC-2008-OzisikyilmazMC #design #machine learning #performance #using: Efficient system design space exploration using machine learning techniques (BÖ, GM, ANC), pp. 966–969.
DATE-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.
DATE-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.
DATE-2008-RistauLF #design #framework: A Mapping Framework for Guided Design Space Exploration of Heterogeneous MP-SoCs (BR, TL, GF), pp. 780–783.
SIGMOD-2008-GemullaL #bound: Sampling time-based sliding windows in bounded space (RG, WL), pp. 379–392.
SIGMOD-2008-VlachouDK #clustering #parallel #performance: Angle-based space partitioning for efficient parallel skyline computation (AV, CD, YK), pp. 227–238.
VLDB-2008-NezhadBSCA #process: Process spaceship: discovering and exploring process views from event logs in data spaces (HRMN, BB, RSP, FC, PA), pp. 1412–1415.
CSEET-2008-RasR #information management #learning #using: Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning (ER, JR), pp. 77–84.
PLDI-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.
STOC-2008-KleinbergSU #metric #multi: Multi-armed bandits in metric spaces (RK, AS, EU), pp. 681–690.
STOC-2008-NordstromH #towards: Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.
AFL-2008-MalcherMP #array #bound: Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.
ICALP-A-2008-Onak #metric #testing: Testing Properties of Sets of Points in Metric Spaces (KO), pp. 515–526.
SEFM-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.
ICFP-2008-SpoonhowerBHG #functional #parallel #profiling #source code: Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.
CHI-2008-ElmqvistHRF #interactive #multi #named: Melange: space folding for multi-focus interaction (NE, NH, YR, JDF), pp. 1333–1342.
CHI-2008-KrukD #navigation: Rendering navigation and information space with honeycombTM (SRK, BM), pp. 1793–1796.
CHI-2008-NacentaMG: Targeting across displayless space (MAN, RLM, CG), pp. 777–786.
CHI-2008-PietrigaA #lens: Sigma lenses: focus-context transitions combining space, time and translucence (EP, CA), pp. 1343–1352.
CSCW-2008-VoidaVGH #symmetry: Asymmetry in media spaces (AV, SV, SG, HAH), pp. 313–322.
CAiSE-2008-IoannouNN #probability: Probabilistic Entity Linkage for Heterogeneous Information Spaces (EI, CN, WN), pp. 556–570.
ICEIS-AIDSS-2008-StateCRP #algorithm #classification #learning: A New Learning Algorithm for Classification in the Reduced Space (LS, CC, IR, PV), pp. 155–160.
ICEIS-HCI-2008-DeryckeVBL #interactive #named: E-Retail: Interaction of Intelligent Selling Space with Personal Selling Assistant (AD, TV, BB, PL), pp. 189–194.
ICEIS-SAIC-2008-BoddyWRC #collaboration #communication #information management: Awareness in Project Information Spaces for Improved Communication and Collaboration (SB, MW, YR, GC), pp. 101–106.
ECIR-2008-EidoonYO #ontology #using: Ontology Matching Using Vector Space (ZE, NY, FO), pp. 472–481.
ECIR-2008-KarlgrenHS #word: Filaments of Meaning in Word Space (JK, AH, MS), pp. 531–538.
ICML-2008-KolterCNGD #learning #programming: Space-indexed dynamic programming: learning to follow trajectories (JZK, AC, AYN, YG, CD), pp. 488–495.
ICML-2008-LuLHE #framework #kernel: A reproducing kernel Hilbert space framework for pairwise time series distances (ZL, TKL, YH, DE), pp. 624–631.
ICML-2008-SarawagiG: Accurate max-margin training for structured output spaces (SS, RG), pp. 888–895.
ICPR-2008-Abdel-HakimF #detection #novel #quantifier: A novel stability quantification of detected interest points in scale-space (AEAH, AAF), pp. 1–4.
ICPR-2008-Bouchaffra #markov #modelling: Embedding HMM’s-based models in a Euclidean space: The topological hidden Markov models (DB), pp. 1–4.
ICPR-2008-ChoiGCC #analysis #independence #kernel: Kernel oriented discriminant analysis for speaker-independent phoneme spaces (HC, RGO, SC, YC), pp. 1–4.
ICPR-2008-Coeurjolly #distance: Distance transformation, reverse distance transformation and discrete medial axis on toric spaces (DC), pp. 1–4.
ICPR-2008-Feschet: The lattice width and quasi-straightness in digital spaces (FF), pp. 1–4.
ICPR-2008-LiuWBM #kernel #learning #linear: Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.
ICPR-2008-PrakashR #approach: A semisupervised approach to space carving (SP, ARK), pp. 1–4.
ICPR-2008-SharmaCS #classification #kernel: Bag-of-features kernel eigen spaces for classification (GS, SC, JBS), pp. 1–4.
ICPR-2008-WanS #geometry #multi: Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.
SEKE-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.
SEKE-2008-KimBBSA #behaviour #named #using #visualisation: VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology (BK, KB, MB, RS, BA), pp. 422–427.
SIGIR-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.
SIGIR-2008-Larson #information retrieval #visualisation: Geographic IR and visualization in time and space (RRL), p. 886.
SIGIR-2008-LiDZS #documentation #word: Knowledge transformation from word space to document space (TL, CHQD, YZ, BS), pp. 187–194.
LOPSTR-2008-CalcagnoDOY: Space Invading Systems Code (CC, DD, PWO, HY), pp. 1–3.
SAC-2008-BesshoKKS #framework #identification #ubiquitous: A space-identifying ubiquitous infrastructure and its application for tour-guiding service (MB, SK, NK, KS), pp. 1616–1621.
SAC-2008-ChengHVL #image #reduction: Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SAC-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.
ICSE-2008-LauterburgSMV #incremental #source code: Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
SPLC-2008-CzarneckiSW #feature model #modelling: Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.
ASPLOS-2008-LvinNBZ #named #reliability #security: Archipelago: trading address space for reliability and security (VBL, GN, EDB, BGZ), pp. 115–124.
CGO-2008-RyooRSBUSH #gpu #optimisation #parallel #thread: Program optimization space pruning for a multithreaded gpu (SR, CIR, SSS, SSB, SZU, JAS, WmWH), pp. 195–204.
PPoPP-2008-KejariwalNBVP #clustering: Cache-aware iteration space partitioning (AK, AN, UB, AVV, CDP), pp. 269–270.
CAV-2008-GlabbeekP #algorithm #simulation: Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CASE-2007-Murphey #geometry: Geometric Derived Information Spaces in Manipulation with Mechanical Contact (TDM), pp. 338–345.
DATE-2007-AycinenaBLMGW #open source #question #towards: Towards total open source in aeronautics and space? (PA, EB, GL, RM, FG, AW), p. 1556.
DATE-2007-Botti #challenge #embedded #industrial: Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.
DATE-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.
DATE-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.
DATE-2007-FietheMDOZ #configuration management: Reconfigurable system-on-chip data processing units for space imaging instruments (BF, HM, CD, BO, GZ), pp. 977–982.
DATE-2007-PardessusDA #embedded: The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space (TP, HD, RA), pp. 1108–1109.
HT-2007-FarzanCFBS #adaptation #named #social #traversal: ASSIST: adaptive social support for information space traversal (RF, MC, JF, PB, BS), pp. 199–208.
ICDAR-2007-DasariB #identification #using: Identification of Non-Black Inks Using HSV Colour Space (HD, CB), pp. 486–490.
VLDB-2007-DoulkeridisVKV #metric #peer-to-peer #similarity: Peer-to-Peer Similarity Search in Metric Spaces (CD, AV, YK, MV), pp. 986–997.
FASE-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.
TACAS-2007-RasmussenBL #complexity #flexibility: Complexity in Simplicity: Flexible Agent-Based State Space Exploration (JIR, GB, KGL), pp. 231–245.
WCRE-2007-AlamD #3d #architecture #visualisation: EvoSpaces Visualization Tool: Exploring Software Architecture in 3D (SA, PD), pp. 269–270.
STOC-2007-AbrahamBN #metric: Local embeddings of metric spaces (IA, YB, ON), pp. 631–640.
STOC-2007-EnglertRW #metric #order: Reordering buffers for general metric spaces (ME, HR, MW), pp. 556–564.
ICALP-2007-Goubault-Larrecq: Continuous Capacities on Continuous State Spaces (JGL), pp. 764–776.
LATA-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.
SFM-2007-KnottenbeltB #modelling #performance #scalability: Tackling Large State Spaces in Performance Modelling (WJK, JTB), pp. 318–370.
CHI-2007-RamosCBB #lens: Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
CHI-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.
HCI-IDU-2007-TesorieroMLG #design pattern #human-computer: HCI Design Patterns for PDA Running Space Structured Applications (RT, FMS, MDL, JAG), pp. 1206–1215.
HCI-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.
HCI-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.
HCI-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.
HCI-MIE-2007-Kwon #segmentation: Speaker Segmentation for Intelligent Responsive Space (SK), pp. 385–392.
HIMI-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.
HIMI-IIE-2007-ShibuyaTKT #3d: Operation-Action Mapping in 3D Information Space on Portable Information Terminal (YS, HT, IK, YT), pp. 628–634.
HIMI-MTT-2007-IizukaK #communication #design: Design for Confident Communication of Information in Public Spaces (SI, YK), pp. 51–58.
HIMI-MTT-2007-KatagiriK #design: Information Design for User’s Reassurance in Public Space (YK, MK), pp. 84–89.
HIMI-MTT-2007-SidhartaTH: Real IT: Information Technology in Real Space (RS, TT, MH), pp. 968–974.
EDOC-2007-MartinWSL #comparison: An EAI Pattern-Based Comparison of Spaces and Messaging (DM, DW, TS, FL), p. 511–?.
ICEIS-EIS-2007-MarquesRFRAAM #analysis #aspect-oriented: Aspect-Oriented Analysis Applied to the Space Domain (AM, RR, RF, RAR, SA, JA, AMDM), pp. 71–79.
ECIR-2007-TzitzikasT: Naming Functions for the Vector Space Model (YT, YT), pp. 613–620.
ICML-2007-CaoSSYC #feature model #kernel: Feature selection in a kernel space (BC, DS, JTS, QY, ZC), pp. 121–128.
ICML-2007-GeurtsWd #kernel: Gradient boosting for kernelized output spaces (PG, LW, FdB), pp. 289–296.
ICML-2007-MaLTK #analysis #correlation #similarity: Discriminant analysis in correlation similarity measure space (YM, SL, ET, MK), pp. 577–584.
ICML-2007-PetersS #learning: Reinforcement learning by reward-weighted regression for operational space control (JP, SS), pp. 745–750.
ICML-2007-ZhangXSGL #classification #metric: Optimal dimensionality of metric space for classification (WZ, XX, ZS, YFG, HL), pp. 1135–1142.
MLDM-2007-RiesenKB #graph: Reducing the Dimensionality of Vector Space Embeddings of Graphs (KR, VK, HB), pp. 563–573.
RecSys-2007-McCarthy #challenge #physics #recommendation: The challenges of recommending digital selves in physical spaces (JFM), pp. 185–186.
SEKE-2007-AlamD #3d #architecture #named #visualisation: EvoSpaces: 3D Visualization of Software Architecture (SA, PD), pp. 500–505.
SEKE-2007-SantiagoMCSA #development #experience #outsourcing: QSEE Project: An Experience in Outsourcing Software Development for Space Applications (VAS, MdFMF, RC, WPdS, AMA), pp. 51–56.
SAC-2007-BaiocoTT #cost analysis #effectiveness #metric #query #similarity: An effective cost model for similarity queries in metric spaces (GBB, AJMT, CTJ), pp. 527–528.
SAC-2007-HiserDW #design #embedded #memory management #performance: Fast, accurate design space exploration of embedded systems memory configurations (JH, JWD, DBW), pp. 699–706.
SAC-2007-NixonAT #semantics #towards #tuple #web: Towards Semantic tuplespace computing: the Semantic web spaces system (LJBN, OA, RT), pp. 360–365.
SAC-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.
SAC-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-FSE-2007-ParreirasSW #metamodelling #on the #ontology #technological space: On marrying ontological and metamodeling technical spaces (FSP, SS, AW), pp. 439–448.
ESEC-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.
GTTSE-2007-AntkiewiczC #design: Design Space of Heterogeneous Synchronization (MA, KC), pp. 3–46.
ICSE-2007-DwyerEPP #parallel #random: Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.
ICSE-2007-MaidenNR #case study #experience #requirements: Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (NAMM, CN, SR), pp. 632–641.
HPCA-2007-LeeB #architecture #design #modelling: Illustrative Design Space Studies with Microarchitectural Regression Models (BCL, DMB), pp. 340–351.
ISMM-2007-AlbertGG #analysis #bytecode #java: Heap space analysis for java bytecode (EA, SG, MGZ), pp. 105–116.
LCTES-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.
CAV-2007-EzekielLC #generative: Parallelising Symbolic State-Space Generators (JE, GL, GC), pp. 268–280.
CSL-2007-Abramsky #geometry #interactive #proving: Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.
CSL-2007-HertelU #game studies: Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
ISSTA-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.
LICS-2007-Goubault-Larrecq #on the: On Noetherian Spaces (JGL), pp. 453–462.
LICS-2007-Schopp #bound #logic: Stratified Bounded Affine Logic for Logarithmic Space (US), pp. 411–420.
CASE-2006-ReveliotisB #algorithm #learning #performance: Efficient learning algorithms for episodic tasks with acyclic state spaces (SR, TB), pp. 411–418.
DAC-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.
DAC-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.
DAC-2006-LeeOMC #design #multi #prototype: Design space exploration and prototyping for on-chip multimedia applications (HGL, ÜYO, RM, NC), pp. 137–142.
DAC-2006-TiwaryTR #design #generative: Generation of yield-aware Pareto surfaces for hierarchical circuit design space exploration (SKT, PKT, RAR), pp. 31–36.
DAC-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.
DAC-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.
DATE-2006-Al-ArsHG #fault #modelling #testing: Space of DRAM fault models and corresponding testing (ZAA, SH, AJvdG), pp. 1252–1257.
DATE-2006-AngioliniCLFFB #design #framework: An integrated open framework for heterogeneous MPSoC design space exploration (FA, JC, RL, FF, CF, LB), pp. 1145–1150.
DATE-2006-BrackKW #design: Disclosing the LDPC code decoder design space (TB, FK, NW), pp. 200–205.
DATE-2006-ChaoWCWC #using: Coverage loss by using space compactors in presence of unknown values (MCTC, SW, STC, WW, KTC), pp. 1053–1054.
DATE-2006-EyermanEB #design #embedded #performance: Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
DATE-2006-ManolacheEP #communication #optimisation #synthesis: Buffer space optimisation with communication synthesis and traffic shaping for NoCs (SM, PE, ZP), pp. 718–723.
DATE-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.
DATE-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.
DATE-DF-2006-RaabeHAZ #detection #prototype: Space-efficient FPGA-accelerated collision detection for virtual prototyping (AR, SH, JKA, GZ), pp. 206–211.
DRR-2006-SmithA #clustering: Partitioning of the degradation space for OCR training (EHBS, TLA).
HT-2006-GarzottoF #2d #3d #interactive #social: Hyperstories and social interaction in 2D and 3D edutainment spaces for children (FG, MF), pp. 57–68.
PODS-2006-CormodeKMS #algorithm #data type: Space- and time-efficient deterministic algorithms for biased quantiles over data streams (GC, FK, SM, DS), pp. 263–272.
SIGMOD-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.
SIGMOD-2006-ChanJTTZ: Finding k-dominant skylines in high dimensional space (CYC, HVJ, KLT, AKHT, ZZ), pp. 503–514.
ESOP-2006-HofmannJ #analysis #type system: Type-Based Amortised Heap-Space Analysis (MH, SJ), pp. 22–37.
TACAS-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.
STOC-2006-AchlioptasR #constraints #geometry #on the #problem #random: On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
STOC-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.
STOC-2006-ColeG #bound #set: Searching dynamic point sets in spaces with bounded doubling dimension (RC, LAG), pp. 574–583.
STOC-2006-FatourouFR #implementation #trade-off: Time-space tradeoffs for implementations of snapshots (PF, FEF, ER), pp. 169–178.
STOC-2006-KampRVZ: Deterministic extractors for small-space sources (JK, AR, SPV, DZ), pp. 691–700.
STOC-2006-Nordstrom #proving: Narrow proofs may be spacious: separating space and width in resolution (JN), pp. 507–516.
STOC-2006-PatrascuT #trade-off: Time-space trade-offs for predecessor search (MP, MT), pp. 232–240.
SEFM-2006-RodriguesBCFG #approach #using: A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (CLR, PESB, JMC, JCAdF, DSG), pp. 226–235.
CHI-2006-CockburnGA #documentation #navigation #performance: Faster document navigation with space-filling thumbnails (AC, CG, JA), pp. 1–10.
CHI-2006-FernaeusT #design #programming: Finding design qualities in a tangible programming space (YF, JT), pp. 447–456.
CHI-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.
CHI-2006-LuffHKYY #documentation #hybrid: Handling documents and discriminating objects in hybrid spaces (PL, CH, HK, KY, JY), pp. 561–570.
CHI-2006-WigdorSFB #performance: Effects of display position and control space orientation on user preference and performance (DW, CS, CF, RB), pp. 309–318.
CSCW-2006-Dourish #years after: Re-space-ing place: “place” and “space” ten years on (PD), pp. 299–308.
CSCW-2006-Lee #analysis #social #what: What goes around comes around: an analysis of del.icio.us as social space (KJL), pp. 191–194.
CSCW-2006-RazaviI #behaviour #information management #learning: A grounded theory of information sharing behavior in a personal learning space (MNR, LI), pp. 459–468.
CSCW-2006-RollandHM #concept #integration: Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration (KHR, VH, EM), pp. 493–500.
SOFTVIS-2006-TanimotoL #interface #source code: A transparent interface to state-space search programs (SLT, SL), pp. 151–152.
ICEIS-DISI-2006-TrienekensKVKMS #development: Investigating the Improvement Space of Software Development Organisations (JJMT, RJK, FvV, DK, DM, PS), pp. 3–10.
ICEIS-J-2006-BerkovskyEM06a #collaboration #nearest neighbour #retrieval: Retrieval of Collaborative Filtering Nearest Neighbors in a Content-Addressable Space (SB, YE, LMM), pp. 159–178.
CIKM-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.
CIKM-2006-Melucci #ranking #using: Ranking in context using vector spaces (MM), pp. 866–867.
ECIR-2006-KirschGC #retrieval #social #web: Beyond the Web: Retrieval in Social Information Spaces (SMK, MG, ABC), pp. 84–95.
ICML-2006-TeoV #array #kernel #performance #string #using: Fast and space efficient string kernels using suffix arrays (CHT, SVNV), pp. 929–936.
ICML-2006-YeX #analysis #linear #null #orthogonal: Null space versus orthogonal linear discriminant analysis (JY, TX), pp. 1073–1080.
ICPR-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.
ICPR-v1-2006-EtyngierPKGA #estimation: Radon space and Adaboost for Pose Estimation (PE, NP, RK, YG, JYA), pp. 421–424.
ICPR-v1-2006-LiHWW #behaviour #image #modelling #recognition: Behavior Modeling and Recognition Based on Space-Time Image Features (HL, ZH, YW, FW), pp. 243–246.
ICPR-v1-2006-OnoMKI #analysis #image: Space-time Analysis of Spherical Projection Image (SO, TM, HK, KI), pp. 975–979.
ICPR-v1-2006-RiusVGV #performance: Action Spaces for Efficient Bayesian Tracking of Human Motion (IR, XV, JG, JJV), pp. 472–475.
ICPR-v1-2006-WashizawaY #kernel: Non-linear Wiener filter in reproducing kernel Hilbert space (YW, YY), pp. 967–970.
ICPR-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.
ICPR-v2-2006-GanD #relational #using: Differentiating Between Many Similar Features using Relational Information in Space and Scale (TSYG, TD), pp. 638–641.
ICPR-v2-2006-LiSCS #image #retrieval: Image Tangent Space for Image Retrieval (HL, RS, WC, IFS), pp. 1126–1130.
ICPR-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.
ICPR-v2-2006-YamadaS #invariant #recognition: Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPR-v2-2006-YangG #composition #invariant #using: Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPR-v2-2006-YangN #recognition #scalability #set: Layered Search Spaces for Accelerating Large Set Character Recognition (YY, MN), pp. 1006–1009.
ICPR-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.
ICPR-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.
ICPR-v3-2006-ArcelliBS #3d #set: A New Set of Topology Preserving Removal Operations in the 3D Space (CA, GSdB, LS), pp. 1055–1058.
ICPR-v3-2006-HeTHY #difference #recognition: Face Recognition with Relative Difference Space and SVM (XH, JT, YH, XY), pp. 527–531.
ICPR-v3-2006-HuW06a #representation: A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.
ICPR-v3-2006-KawanakaFI #3d: Human Head Tracking in Three Dimensional Voxel Space (HK, HF, YI), pp. 826–829.
ICPR-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.
ICPR-v3-2006-NodaNK #performance: Simple and Efficient Colorization in YCbCr Color Space (HN, MN, JK), pp. 685–688.
ICPR-v3-2006-PranckevicieneHS #feature model: Class Separability in Spaces Reduced By Feature Selection (EP, TH, RLS), pp. 254–257.
ICPR-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.
ICPR-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.
ICPR-v3-2006-SureshR: Super-resolution in the presence of space-variant blur (KVS, ANR), pp. 770–773.
ICPR-v3-2006-XueD #2d #3d #locality #multi #using: 3D+2D Face Localization Using Boosting in Multi-Modal Feature Space (FX, XD), pp. 499–502.
ICPR-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.
ICPR-v4-2006-Fisher06a #capacity #classification #empirical: An Empirical Model for Saturation and Capacity in Classifier Spaces (RBF), pp. 189–193.
ICPR-v4-2006-LeiYW #recognition: An UBM-Based Reference Space for Speaker Recognition (ZL, YY, ZW), pp. 318–321.
ICPR-v4-2006-MellakhPD #using: Using Signal/Residual Information of Eigenfaces for PCA Face Space Dimensionality Characteristics (MAM, DPD, BD), pp. 574–577.
ICPR-v4-2006-RanCZ: Finding Gait in Space and Time (YR, RC, QZ), pp. 586–589.
ICPR-v4-2006-TianK06b #automation #distance #multi: Voting Weighted Modified Hausdorff Distance Through Multiscale Space for Automatic Image-Map Registration (LT, SiK), pp. 837–840.
KDD-2006-TaoXZ #database #metric #mining #scalability: Mining distance-based outliers from large databases in any metric space (YT, XX, SZ), pp. 394–403.
SEKE-2006-OgataKF #bound: Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.
SIGIR-2006-CaiHH #analysis #documentation: Tensor space model for document analysis (DC, XH, JH), pp. 625–626.
SIGIR-2006-MaddageLK #music #retrieval: Music structure based vector space retrieval (NCM, HL, MSK), pp. 67–74.
PADL-2006-MacLartyS #debugging #declarative: Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
POPL-2006-DannerR: Adventures in time and space (ND, JSR), pp. 168–179.
SAC-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.
SAC-2006-BessaniFL #fault tolerance #named #tuple: BTS: a Byzantine fault-tolerant tuple space (ANB, JdSF, LCL), pp. 429–433.
SAC-2006-MameiQZ #physics #tuple: Making tuple spaces physical with RFID tags (MM, RQ, FZ), pp. 434–439.
SAC-2006-MenezesW #concept: The fading concept in tuple-space systems (RM, AW), pp. 440–444.
SAC-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.
SAC-2006-ParkCS #search-based #visual notation: Visual exploration of genetic likelihood space (JWP, JFC, AMS), pp. 1335–1340.
SAC-2006-XuC: Improving address space randomization with a dynamic offset randomization technique (HX, SJC), pp. 384–391.
ICSE-2006-TanAC #finite #verification: Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
ASPLOS-2006-IpekMCSS #architecture #design #modelling #predict: Efficiently exploring architectural design spaces via predictive modeling (EI, SAM, RC, BRdS, MS), pp. 195–206.
CGO-2006-KulkarniWTD #optimisation #order: Exhaustive Optimization Phase Order Space Exploration (PAK, DBW, GST, JWD), pp. 306–318.
CGO-2006-VenstermansEB #java: Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing (KV, LE, KDB), pp. 76–86.
HPCA-2006-LiLBHS #constraints #design #physics: CMP design space exploration subject to physical constraints (YL, BCL, DMB, ZH, KS), pp. 17–28.
HPDC-2006-WeinbergS #game studies: When Jobs Play Nice: The Case For Symbiotic Space-Sharing (JW, AS), pp. 361–362.
OSDI-2006-ErlingssonAVBN #named: XFI: Software Guards for System Address Spaces (ÚE, MA, MV, MB, GCN), pp. 75–88.
CSL-2006-Schopp #interactive: Space-Efficient Computation by Interaction (US), pp. 606–621.
ASE-2005-CaiS #analysis #design #modelling #named: Simon: modeling and analysis of design space structures (YC, KJS), pp. 329–332.
DAC-2005-BernardinisNV #design: Mixed signal design space exploration through analog platforms (FDB, PN, ALSV), pp. 875–880.
DAC-2005-GielenME #modelling #performance #synthesis: Performance space modeling for hierarchical synthesis of analog integrated circuits (GGEG, TM, TE), pp. 881–886.
DAC-2005-GuWDZ #behaviour #design #incremental #physics: Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DAC-2005-MuellerSGS #performance: Deterministic approaches to analog performance space exploration (PSE) (DM, GS, HEG, US), pp. 869–874.
DATE-2005-KatzHD #bound #model checking: Space-Efficient Bounded Model Checking (JK, ZH, ND), pp. 686–687.
DATE-2005-MiramondD #architecture #configuration management #design: Design Space Exploration for Dynamically Reconfigurable Architectures (BM, JMD), pp. 366–371.
DATE-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.
DATE-2005-SuCP #configuration management #using: Yield Enhancement of Digital Microfluidics-Based Biochips Using Space Redundancy and Local Reconfiguration (FS, KC, VKP), pp. 1196–1201.
HT-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.
ICDAR-2005-BhagvatiD #classification #using: Classification of Liquid and Viscous Inks using HSV Colour Space (CB, HD), pp. 660–664.
ICDAR-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.
PODS-2005-CormodeM #mining #multi #performance: Space efficient mining of multigraph streams (GC, SM), pp. 271–282.
PODS-2005-HershbergerSST #complexity #data type #multi: Space complexity of hierarchical heavy hitters in multi-dimensional data streams (JH, NS, SS, CDT), pp. 338–347.
SIGMOD-2005-DongHMN: Reference Reconciliation in Complex Information Spaces (XD, AYH, JM), pp. 85–96.
VLDB-2005-Guha #algorithm #performance: Space Efficiency in Synopsis Construction Algorithms (SG), pp. 409–420.
VLDB-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.
ITiCSE-2005-GomesSVG #behaviour #multi #named: SoundSpaces: behavior based control system for multimedia systems (RG, RS, JV, NG), p. 407.
WRLA-2004-ArrighiD05: A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.
FASE-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.
FoSSaCS-2005-CattaniSKN #nondeterminism #probability: Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
SAS-2005-ChenKK #execution #memory management #reliability: Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
STOC-2005-Reingold: Undirected ST-connectivity in log-space (OR), pp. 376–385.
STOC-2005-Trifonov #algorithm: An O(log n log log n) space algorithm for undirected st-connectivity (VT), pp. 626–633.
DLT-J-2004-Staiger05 #infinity: Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of ω-Power Languages (LS), pp. 787–802.
ICALP-2005-BilleG #performance #problem: The Tree Inclusion Problem: In Optimal Space and Faster (PB, ILG), pp. 66–77.
ICALP-2005-DiehlM #bound #polynomial #random: Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines (SD, DvM), pp. 982–993.
ICALP-2005-Farach-ColtonLST #approximate #performance #string: Optimal Spaced Seeds for Faster Approximate String Matching (MFC, GML, SCS, DT), pp. 1251–1262.
FM-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.
CHI-2005-AokiW #ambiguity #communication #design: Making space for stories: ambiguity in the design of personal communication systems (PMA, AW), pp. 181–190.
CHI-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.
SOFTVIS-2005-NoackL #graph #layout #modelling: A space of layout styles for hierarchical graph models of software systems (AN, CL), pp. 155–164.
AdaEurope-2005-Ruiz: GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
CIKM-2005-Melucci #modelling #using: Context modeling and discovery using vector space bases (MM), pp. 808–815.
CIKM-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.
CIKM-2005-ZhangGLTW: Discovering strong skyline points in high dimensional spaces (ZZ, XG, HL, AKHT, NW), pp. 247–248.
ECIR-2005-KakadeR #encoding #xml: Encoding XML in Vector Spaces (VK, PR), pp. 96–111.
ICML-2005-PaiementEBB #embedded #visual notation: A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
ICML-2005-SiddiqiM #learning #performance: Fast inference and learning in large-state-space HMMs (SMS, AWM), pp. 800–807.
KDD-2005-FujimakiYM #approach #detection #kernel #problem #using: An approach to spacecraft anomaly detection problem using kernel feature space (RF, TY, KM), pp. 401–410.
KDD-2005-NeillMSD #clustering #detection: Detection of emerging space-time clusters (DBN, AWM, MS, KD), pp. 218–227.
LSO-2005-DingsoyrB #using: Using Open Space Technology as a Method to Share Domain Knowledge (TD, FOB), pp. 102–106.
MLDM-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.
MLDM-2005-NikulinS #clustering #probability: Universal Clustering with Regularization in Probabilistic Space (VN, AJS), pp. 142–152.
SEKE-2005-ChenSH #collaboration: Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.
SAC-2005-FujinamiN #physics #towards: Towards system software for physical space applications (KF, TN), pp. 1613–1620.
SAC-2005-HeoYCHS #incremental: Space-efficient page-level incremental checkpointing (JH, SY, YC, JH, SYS), pp. 1558–1562.
SAC-2005-MaamarBGMY #coordination #self #tuple #web #web service: Tuple spaces for self-coordination of web services (ZM, DB, CG, QHM, HY), pp. 1656–1660.
SAC-2005-PiccoBC #lightweight #named #tuple: LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.
GTTSE-2005-Bezivin #modelling #technological space: Model Driven Engineering: An Emerging Technical Space (JB), pp. 36–64.
HPCA-2005-ChenPWHP #design #power management: Exploring the Design Space of Power-Aware Opto-Electronic Networked Systems (XC, LSP, GYW, YKH, PRP), pp. 120–131.
PPoPP-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.
PPoPP-2005-KejariwalNBP #approach #clustering #novel: A novel approach for partitioning iteration spaces with variable densities (AK, AN, UB, CDP), pp. 120–131.
SOSP-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.
SAT-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.
CAV-2005-VecchieS #source code: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.
CSL-2005-Perron #proving: A Propositional Proof System for Log Space (SP), pp. 509–524.
ICLP-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.
RTA-2005-BonfanteMM #bound: Quasi-interpretations and Small Space Bounds (GB, JYM, JYM), pp. 150–164.
DAC-2004-CaiGG #agile #design #profiling: Retargetable profiling for rapid, early system-level design space exploration (LC, AG, DG), pp. 281–286.
DAC-2004-HandaV #algorithm #online #performance: An efficient algorithm for finding empty space for online FPGA placement (MH, RV), pp. 960–965.
DATE-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.
DATE-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.
DATE-v1-2004-BernardinisS #design: A Methodology for System-Level Analog Design Space Exploration (FDB, ALSV), pp. 676–677.
DATE-v1-2004-FengWCL #clustering #simulation: Improved Symoblic Simulation by Dynamic Funtional Space Partitioning (TF, LCW, KTC, CCL), pp. 42–49.
DATE-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.
DATE-v2-2004-ZieglerS #design #parallel: A Unified Design Space for Regular Parallel Prefix Adders (MMZ, MRS), pp. 1386–1387.
HT-2004-HicksWN #towards: Towards a structural diversity space (DLH, UKW, PJN), pp. 247–255.
HT-2004-LeggettS #communication #design #hypermedia #interactive #research: Directions for hypertext research: exploring the design space for interactive scholarly communication (JJL, FMSI), pp. 2–11.
HT-2004-StottsSG #hypermedia #named #video: FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop (PDS, JMS, KG), pp. 48–57.
PODS-2004-KaushikRC #optimisation #perspective #query: Synopses for Query Optimization: A Space-Complexity Perspective (RK, RR, VTC), pp. 201–209.
ESOP-2004-GuttmanTCHRS #trust: Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
CIAA-2004-PengT #algorithm #performance #sequence: Time and Space Efficient Algorithms for Constrained Sequence Alignment (ZSP, HFT), pp. 237–246.
CHI-2004-EverettB #visual notation: Unintended effects: varying icon spacing changes users’ visual search strategy (SPE, MDB), pp. 695–702.
CHI-2004-KarahaliosD #named #social: Telemurals: linking remote spaces with social catalysts (KK, JSD), pp. 615–622.
CHI-2004-LampeR #distributed #online #scalability: Slash(dot) and burn: distributed moderation in a large online conversation space (CL, PR), pp. 543–550.
CHI-2004-NakanishiKII #communication #scalability: Transcendent communication: location-based guidance for large-scale public spaces (HN, SK, TI, HI), pp. 655–662.
CHI-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.
CSCW-2004-BrignullIFRR #interactive: The introduction of a shared interactive surface into a communal space (HB, SI, GF, YR, TR), pp. 49–58.
CSCW-2004-GergleKF #visual notation: Action as language in a shared visual space (DG, REK, SRF), pp. 487–496.
CSCW-2004-McCarthyBCGLZ #physics: Digital backchannels in shared physical spaces: attention, intention and contention (JFM, DB, EFC, WGG, EL, MZ), pp. 550–553.
CSCW-2004-McCarthyMSNR #social: Augmenting the social space of an academic conference (JFM, DWM, SS, DHN, AMR), pp. 39–48.
ICEIS-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.
ICEIS-v4-2004-BoppHE #weaving: Connecting Virtual Spaces: Shadow Objects as Key Elements for Weaving the Cooperative Space (TB, TH, BE), pp. 475–479.
CIKM-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.
CIKM-2004-HoreHIM #constraints: Indexing text data under space constraints (BH, HH, BRI, SM), pp. 198–207.
CIKM-2004-LiuZYYYCBM #learning #metric #similarity: Learning similarity measures in non-orthogonal space (NL, BZ, JY, QY, SY, ZC, FB, WYM), pp. 334–341.
ICML-2004-GramacyLM #parametricity #process: Parameter space exploration with Gaussian process trees (RBG, HKHL, WGM).
ICML-2004-TsochantaridisHJA #machine learning: Support vector machine learning for interdependent and structured output spaces (IT, TH, TJ, YA).
ICML-2004-WellingRT #approximate #markov: Approximate inference by Markov chains on union spaces (MW, MRZ, YWT).
ICPR-v1-2004-FanWLT #null #recognition: Combining Null Space-based Gabor Features for Face Recognition (WF, YW, WL, TT), pp. 330–333.
ICPR-v1-2004-LaptevL #adaptation: Velocity Adaptation of Space-Time Interest Points (IL, TL), pp. 52–56.
ICPR-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.
ICPR-v1-2004-VaswaniC #analysis #classification #component #null #probability: Classification Probability Analysis of Principal Component Null Space Analysis (NV, RC), pp. 240–243.
ICPR-v2-2004-HeY #adaptation #detection: Curvature Scale Space Corner Detector with Adaptive Threshold and Dynamic Region of Support (XCH, NHCY), pp. 791–794.
ICPR-v2-2004-NiR #pattern matching: Pattern Matching by Sequential Subdivision of Transformation Space (MN, SER), pp. 145–148.
ICPR-v2-2004-OhteraH #identification #using: Faxed Form Identification using Histogram of the Hough-Space (RO, TH), pp. 566–569.
ICPR-v2-2004-ShimanoN #optimisation #recognition: Simultaneous Optimization of Class Configuration and Feature Space for Object Recognition (MS, KN), pp. 7–10.
ICPR-v2-2004-TakiS #3d #re-engineering #symmetry: 3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.
ICPR-v2-2004-Tweed #formal method: Estimating Rigid Motions via the Conformal Model of Euclidean Space (DT), pp. 171–174.
ICPR-v2-2004-WashizawaY #classification #kernel #pattern matching #pattern recognition #recognition: Kernel Sample Space Projection Classifier for Pattern Recognition (YW, YY), pp. 435–438.
ICPR-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.
ICPR-v2-2004-ZhangLG #detection #realtime #using: Real-Time Face Detection Using Boosting in Hierarchical Feature Spaces (DZ, SZL, DGP), pp. 411–414.
ICPR-v3-2004-BenoitF #kernel: Steerable Kernels for Arbitrarily-Sampled Spaces (SB, FPF), pp. 578–581.
ICPR-v3-2004-HaindlFA #image #modelling: BTF Image Space Utmost Compression and Modelling Method (MH, JF, MA), pp. 194–197.
ICPR-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.
ICPR-v3-2004-WangLL #analysis #towards: Tensor Voting Toward Feature Space Analysis (JW, HL, QL), pp. 462–465.
ICPR-v4-2004-Ben-AriS: Non-Isotropic Regularization of the Correspondence Space in Stereo-Vision (RBA, NAS), pp. 293–296.
ICPR-v4-2004-FrenchMP: Condensation Tracking through a Hough Space (APF, SM, TPP), pp. 195–198.
ICPR-v4-2004-KimP #hypermedia #using: Geographic Hypermedia using Search Space Transformation (SSK, JHP), pp. 368–371.
ICPR-v4-2004-LiuWLT #classification #recognition: Nearest Intra-Class Space Classifier for Face Recognition (WL, YW, SZL, TT), pp. 495–498.
ICPR-v4-2004-SialaCCB #detection: Moving Shadow Detection with Support Vector Domain Description in the Color Ratios Space (KS, MC, FC, OB), pp. 384–387.
ICPR-v4-2004-ZajdelCK #multi #online: Online Multicamera Tracking with a Switching State-Space Model (WZ, ATC, BJAK), pp. 339–343.
KDD-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.
KDD-2004-Iyengar #clustering #detection #on the: On detecting space-time clusters (VSI), pp. 587–592.
KDD-2004-JehW #graph #mining: Mining the space of graph properties (GJ, JW), pp. 187–196.
LSO-2004-JohnM #collaboration #network: Knowledge Networks — Managing Collaborative Knowledge Spaces (MJ, RM), pp. 165–171.
ECOOP-2004-VelascoOT #adaptation: Adaptive Tuning of Reserved Space in an Appel Collector (JMV, KO, FT), pp. 543–559.
POPL-2004-Boehm #lazy evaluation: The space cost of lazy reference counting (HJB), pp. 210–219.
SAC-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.
SAC-2004-EggermontKK #classification #clustering #programming #search-based: Genetic Programming for data classification: partitioning the search space (JE, JNK, WAK), pp. 1001–1005.
SAC-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.
SAC-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.
SAC-2004-PanisHLLN #design #embedded #named: DSPxPlore: design space exploration methodology for an embedded DSP core (CP, UH, GL, WL, JN), pp. 876–883.
ISMM-2004-ChenKVI #analysis #embedded #java #optimisation: Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
LCTES-2004-ScholzHK #optimisation: Optimizing for space and time usage with speculative partial redundancy elimination (BS, RNH, JK), pp. 221–230.
CSL-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.
LICS-2004-Huth #lts: Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.
SAT-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.
VMCAI-2004-ArthoH: Applying Jlint to Space Exploration Software (CA, KH), pp. 297–308.
DAC-2003-Hershenson #design #performance: Efficient description of the design space of analog circuits (MdMH), pp. 970–973.
DAC-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.
DATE-2003-GhoshG #design #embedded: Analytical Design Space Exploration of Caches for Embedded Systems (AG, TG), pp. 10650–10655.
DATE-2003-KandemirCZK #embedded #scheduling: Data Space Oriented Scheduling in Embedded Systems (MTK, GC, WZ, IK), pp. 10416–10421.
DATE-2003-LogothetisS #analysis #source code: Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration (GL, KS), pp. 10196–10203.
DATE-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.
DATE-2003-RosaLP #configuration management #design #hardware: Hardware/Software Design Space Exploration for a Reconfigurable Processor (ALR, LL, CP), pp. 10570–10575.
DATE-2003-SmedtG #bound #design #named: HOLMES: Capturing the Yield-Optimized Design Space Boundaries of Analog and RF Integrated Circuits (BDS, GGEG), pp. 10256–10263.
DATE-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.
ICDAR-2003-HaseSYS #recognition: Recognition of Rotated Characters by Eigen-space (HH, TS, MY, CYS), pp. 731–735.
ICDAR-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.
ICDAR-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.
PODS-2003-HeerenJP #using: Optimal indexing using near-minimal space (CH, HVJ, LP), pp. 244–251.
VLDB-2003-QianZXP #multi: The ND-Tree: A Dynamic Indexing Technique for Multidimensional Non-ordered Discrete Data Spaces (GQ, QZ, QX, SP), pp. 620–631.
VLDB-2003-ZhouS #clustering #metric: Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
TACAS-2003-GrooteH #scalability #visualisation: Large State Space Visualization (JFG, FvH), pp. 585–590.
TACAS-2003-Schmidt #invariant #petri net #using: Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
TACAS-2003-StollerC #reduction: Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
IWPC-2003-NiereWW #reverse engineering #scalability: Handling Large Search Space in Pattern-Based Reverse Engineering (JN, JPW, LW), pp. 274–280.
SAS-2003-UnnikrishnanCKKK #requirements: Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.
STOC-2003-AronovKS: Cutting triangular cycles of lines in space (BA, VK, MS), pp. 547–555.
STOC-2003-CoppersmithS #higher-order #semistructured data: Reconstructing curves in three (and higher) dimensional space from noisy data (DC, MS), pp. 136–142.
STOC-2003-FatourouFR #bound #implementation #multi: A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.
STOC-2003-Klauck #quantum #sorting #trade-off: Quantum time-space tradeoffs for sorting (HK), pp. 69–76.
STOC-2003-OstlinP #constant #linear: Uniform hashing in constant time and linear space (AÖ, RP), pp. 622–628.
STOC-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.
STOC-2003-Thorup03a #performance #query: Space efficient dynamic stabbing with fast queries (MT), pp. 649–658.
DLT-2003-HemaspaandraMT: Computation with Absolutely No Space Overhead (LAH, PM, TT), pp. 325–336.
ICALP-2003-DeanG #algorithm #approximate #scheduling: Improved Approximation Algorithms for Minimum-Space Advertisement Scheduling (BCD, MXG), pp. 1138–1152.
ICALP-2003-Jagerskupper #algorithm #analysis: Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces (JJ), pp. 1068–1079.
FME-2003-Lettrari #abstraction #heuristic #object-oriented #using: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
ICFP-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.
AGTIVE-2003-Rensink #generative: The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.
CHI-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.
CHI-2003-WilsonS #named #user interface: XWand: UI for intelligent spaces (AW, SAS), pp. 545–552.
CAiSE-2003-RizziS #constraints #design: View Materialization vs. Indexing: Balancing Space Constraints in Data Warehouse Design (SR, ES), pp. 502–519.
ICEIS-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.
ECIR-2003-DohnalGSZ #metric #similarity: Similarity Join in Metric Spaces (VD, CG, PS, PZ), pp. 452–467.
ICML-2003-Flach #comprehension #geometry #machine learning #metric: The Geometry of ROC Space: Understanding Machine Learning Metrics through ROC Isometrics (PAF), pp. 194–201.
ICML-2003-KakadeKL #metric: Exploration in Metric State Spaces (SK, MJK, JL), pp. 306–312.
ICML-2003-MarchandSSS #set: The Set Covering Machine with Data-Dependent Half-Spaces (MM, MS, JST, MS), pp. 520–527.
ICML-2003-Strens #optimisation: Evolutionary MCMC Sampling and Optimization in Discrete Spaces (MJAS), pp. 736–743.
ICML-2003-WuC #adaptation #learning: Adaptive Feature-Space Conformal Transformation for Imbalanced-Data Learning (GW, EYC), pp. 816–823.
OOPSLA-2003-SachindranEM #garbage collection #named #performance: Mark-copy: fast copying GC with less space overhead (NS, JEBM), pp. 326–343.
PPDP-2003-LiuS #datalog #performance #source code: From datalog rules to efficient programs with time and space guarantees (YAL, SDS), pp. 172–183.
POPL-2003-HofmannJ #first-order #functional #predict #source code: Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
SAC-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.
CGO-2003-TriantafyllisVVA #compilation: Compiler Optimization-Space Exploration (ST, MV, NV, DIA), pp. 204–215.
LCTES-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.
CADE-2003-Cohn #reasoning: Reasoning about Qualitative Representations of Space and Time (AGC), p. 334.
WICSA-2002-BruinVB #design: Documenting and Analyzing a Context-Sensitive Design Space (HdB, HvV, ZB), pp. 127–141.
DAC-2002-BajdechiHG #design: Optimal design of delta-sigma ADCs by design space exploration (OB, JHH, GGEG), pp. 443–448.
DAC-2002-KandemirRC #embedded #memory management #multi: Exploiting shared scratch pad memory space in embedded multiprocessor systems (MTK, JR, ANC), pp. 219–224.
DAC-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.
DAC-2002-Roychowdhury: A time-domain RF steady-state method for closely spaced tones (JSR), pp. 510–513.
DATE-2002-CotaCLO #design #testing: Test Planning and Design Space Exploration in a Core-Based Environment (ÉFC, LC, ML, AO), pp. 478–485.
HT-2002-ChambelG #hypermedia: Context perception in video-based hypermedia spaces (TC, NG), pp. 85–94.
ITiCSE-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.
ESOP-2002-Kandemir: Data Space Oriented Tiling (MTK), pp. 178–193.
FASE-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.
TACAS-2002-GodefroidK #algorithm #scalability #search-based #using: Exploring Very Large State Spaces Using Genetic Algorithms (PG, SK), pp. 266–280.
TACAS-2002-Lowry #analysis #tool support: Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
ICSM-2002-Nikora #maintenance: Maintenance Issues for Very Long-Lived Robotic Space Systems (APN), p. 471.
WCRE-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.
PLDI-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.
PLDI-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.
STOC-2002-AryaMM #approximate #diagrams: Space-efficient approximate Voronoi diagrams (SA, TM, DMM), pp. 721–730.
STOC-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.
STOC-2002-Ben-Sasson #trade-off: Size space tradeoffs for resolution (EBS), pp. 457–464.
STOC-2002-GilbertGIKMS #algorithm #approximate #maintenance #performance: Fast, small-space algorithms for approximate histogram maintenance (ACG, SG, PI, YK, SM, MS), pp. 389–398.
STOC-2002-Han #linear #sorting: Deterministic sorting in O(nlog log n) time and linear space (YH), pp. 602–608.
STOC-2002-SaksS #approximate #bound #data type #distance: Space lower bounds for distance approximation in the data stream model (MES, XS), pp. 360–369.
DLT-2002-SasakiIIW #2d #bound #probability #turing machine: A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines (YS, KI, AI, YW), pp. 185–196.
ICALP-2002-Dalmau #constraints #nondeterminism #problem: Constraint Satisfaction Problems in Non-deterministic Logarithmic Space (VD), pp. 414–425.
ICALP-2002-JakobyL #problem #symmetry: Paths Problems in Symmetric Logarithmic Space (AJ, ML), pp. 269–280.
IFL-2002-HammondM #behaviour #predict: Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
CHI-2002-AokiGHSTW #mobile: Sotto voce: exploring the interplay of conversation and mobile audio spaces (PMA, REG, AH, MHS, JDT, AW), pp. 431–438.
CHI-2002-JensenDF #online #social: Finding others online: reputation systems for social online spaces (CJ, JD, SF), pp. 447–454.
CSCW-2002-Bossen #parametricity: The parameters of common information spaces: : the heterogeneity of cooperative work at a hospital ward (CB), pp. 176–185.
CSCW-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.
CAiSE-2002-NorrieP #approach #composition #modelling: A Modelling Approach to the Realisation of Modular Information Spaces (MCN, AP), pp. 245–261.
ICEIS-2002-R-MorenoPMMM #testing: Controlling and Testing a Space Instrument by an AI Planner (MRM, MP, DDML, JM, CM), pp. 405–409.
ICML-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.
ICML-2002-KondorL #graph #kernel: Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.
ICPR-v1-2002-BingPL: Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.
ICPR-v1-2002-ChengTZ: Fingerprint Enhancement with Dyadic Scale-Space (JC, JT, TZ), pp. 200–203.
ICPR-v1-2002-CoquinBI #difference #metric: Dissimilarity Measures in Color Spaces (DC, PB, BI), pp. 612–615.
ICPR-v1-2002-OsarehMTM #comparison #image #locality: Comparison of Colour Spaces for Optic Disc Localisation in Retinal Images (AO, MM, BTT, RM), pp. 743–746.
ICPR-v1-2002-ShakunagaS #image #normalisation: Natural Image Correction by Iterative Projections to Eigenspace Constructed in Normalized Image Space (TS, FS), pp. 648–651.
ICPR-v1-2002-SinghMS #analysis #dependence #image: Colour Image Texture Analysis: Dependence on Colour Spaces (MS, MM, SS), pp. 672–675.
ICPR-v1-2002-TorselloH: Shape-Space from Tree-Union (AT, ERH), pp. 188–191.
ICPR-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.
ICPR-v2-2002-BressonVT #geometry: Geometric Moments in Scale-Spaces (XB, PV, JPT), pp. 418–421.
ICPR-v2-2002-ChangCH #recognition #using: Hand Pose Recognition Using Curvature Scale Space (CCC, IYC, YSH), pp. 386–389.
ICPR-v2-2002-MottlSDKM #pattern matching #pattern recognition #recognition: Featureless Pattern Recognition in an Imaginary Hilbert Space (VM, OS, SD, CAK, IBM), pp. 88–91.
ICPR-v2-2002-PopoviciT: PCA in Autocorrelation Space (VP, JPT), pp. 132–135.
ICPR-v3-2002-FataichaCNS #analysis #approach #documentation #image: Content Analysis in Document Images: A Scale Space Approach (YF, MC, JYN, CYS), pp. 335–338.
ICPR-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.
ICPR-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.
ICPR-v4-2002-KangCM #estimation #image #robust #using: Robust Affine Motion Estimation in Joint Image Space Using Tensor Voting (EYEK, IC, GGM), pp. 256–259.
ICPR-v4-2002-MizoguchiS #invariant #video: Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.
ICPR-v4-2002-Syeda-Mahmood: Segmenting Actions in Velocity Curve Space (TFSM), p. 170–?.
ICPR-v4-2002-Yang02a: Tetrahedron Mapping of Points from N-Space to Three-Space (LY), p. 343–?.
KDD-2002-KeoghLC #database #linear: Finding surprising patterns in a time series database in linear time and space (EJK, SL, BYcC), pp. 550–556.
KDD-2002-KolczSK #classification #performance #random: Efficient handling of high-dimensional feature spaces by randomized classifier ensembles (AK, XS, JKK), pp. 307–313.
SIGIR-2002-ChenLS #predict: Predicting category accesses for a user in a structured information space (MC, ASL, JPS), pp. 65–72.
ECOOP-2002-BaconFG #implementation #java: Space- and Time-Efficient Implementation of the Java Object Model (DFB, SJF, DG), pp. 111–132.
OOPSLA-2002-ZibinG #algorithm #multi #performance: Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching (YZ, JYG), pp. 142–160.
POPL-2002-Boehm #bound #garbage collection: Bounding space usage of conservative garbage collectors (HJB), pp. 93–100.
SAC-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.
SAC-2002-HoomanP #architecture #distributed #replication #verification: Formal verification of replication on a distributed data space architecture (JH, JvdP), pp. 351–358.
SAC-2002-ObreiterG #scalability #towards #tuple: Towards scalability in tuple spaces (PO, GG), pp. 344–350.
SAC-2002-WangDGS: Hyperrelations in version space (HW, ID, GG, AS), pp. 514–518.
HPDC-2002-GardnerFF #grid #performance: Dynamic Right-Sizing in FTP (drsFTP): Enhancing Grid Performance in User-Space (MKG, WcF, MF), pp. 42–49.
ISMM-2002-ShahamKS #impact analysis #java #liveness: Estimating the impact of heap liveness information on space consumption in Java (RS, EKK, SS), pp. 171–182.
LCTES-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.
LCTES-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.
CAV-2002-BlomP #confluence #proving #reduction: State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
DAC-2001-BruniBB #design #statistics #synthesis: Statistical Design Space Exploration for Application-Specific Unit Synthesis (DB, AB, LB), pp. 641–646.
DAC-2001-KandemirRIVKP #memory management: Dynamic Management of Scratch-Pad Memory Space (MTK, JR, MJI, NV, IK, AP), pp. 690–695.
DAC-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.
DATE-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.
HT-2001-WealHMM #hypermedia #interface #ontology: Open hypermedia as a navigational interface to ontological information spaces (MJW, GVH, DEM, LM), pp. 227–236.
HT-2001-Whitehead #design #version control: Design spaces for link and structure versioning (EJWJ), pp. 195–204.
VLDB-2001-BrownG #image #prototype #retrieval: A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space (LB, LG), pp. 693–694.
ITiCSE-2001-CiesielskiM #algorithm #animation #learning #student #using: Using animation of state space algorithms to overcome student learning difficulties (VC, PM), pp. 97–100.
TACAS-2001-ChristensenKM: A Sweep-Line Method for State Space Exploration (SC, LMK, TM), pp. 450–464.
TACAS-2001-CiardoLS #generative #named #performance: Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation (GC, GL, RS), pp. 328–342.
ICSM-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.
PLDI-2001-ShahamKS #java #profiling: Heap Profiling for Space-Efficient Java (RS, EKK, SS), pp. 104–113.
STOC-2001-BartalCR #approximate #clustering #metric: Approximating min-sum k-clustering in metric spaces (YB, MC, DR), pp. 11–20.
ICALP-2001-BuhrmanTV #bound #simulation: Time and Space Bounds for Reversible Simulation (HB, JT, PMBV), pp. 1017–1027.
ICALP-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.
ICFP-2001-GustavssonS #call-by: Possibilities and Limitations of Call-by-Need Space Improvement (JG, DS), pp. 265–276.
CHI-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.
CHI-2001-JanckeVGCG #social: Linking public spaces: technical and social issues (GJ, GDV, JG, JJC, AG), pp. 530–537.
CIKM-2001-MokbelA #database #multi: Irregularity in Multi-Dimensional Space-Filling Curves with Applications in Multimedia Databases (MFM, WGA), pp. 512–519.
ICML-2001-KramerR: Feature Construction with Version Spaces for Biochemical Applications (SK, LDR), pp. 258–265.
KDD-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.
KDD-2001-KnorrNZ #robust: Robust space transformations for distance-based operations (EMK, RTN, RHZ), pp. 126–135.
MLDM-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.
SIGIR-2001-GodaKTFC #optimisation #problem #query: Query Optimization for Vector Space Problems (KG, MK, TT, OF, AC), pp. 416–417.
SIGIR-2001-SongB #concept #data flow #information management #using: Discovering Information Flow Using a High Dimensional Conceptual Space (DS, PB), pp. 327–333.
SIGIR-2001-VoKM #effectiveness #ranking #termination: Vector-Space Ranking with Effective Early Termination (VNA, OdK, AM), pp. 35–42.
PPDP-2001-SchulteS #bound #question: When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
PADL-2001-NogueiraBGWB #prolog: An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
SAC-2001-SongNC #similarity: A cell-based index structure for similarity search in high-dimensional feature spaces (KTS, HJN, JWC), pp. 264–268.
ESEC-FSE-2001-DickinsonLP: Pursuing failure: the distribution of program failures in a profile space (WD, DL, AP), pp. 246–255.
ICSE-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.
HPDC-2001-FrumkinW #benchmark #grid #metric: NAS Grid Benchmarks: A Tool for Grid Space Exploration (MAF, RFVdW), p. 315–?.
ICLP-2001-Colmerauer #approximate #constraints #multi: Solving the Multiplication Constraint in Several Approximation Spaces (AC), p. 1.
TLCA-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.
ASE-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.
DAC-2000-HsiehBLS #design #embedded #performance: Efficient methods for embedded system design space exploration (HH, FB, LL, ALSV), pp. 607–612.
DAC-2000-JongeneelWBO: Area and search space control for technology mapping (DJJ, YW, RKB, RHJMO), pp. 86–91.
DATE-2000-YalagandulaAS #automation #generative: Automatic Lighthouse Generation for Directed State Space Search (PY, AA, VS), pp. 237–242.
DATE-2000-ZivkovicTK #architecture #design: Design and Test Space Exploration of Transport-Triggered Architectures (VAZ, RJWTT, HGK), pp. 146–151.
SIGMOD-2000-AggarwalY #clustering: Finding Generalized Projected Clusters In High Dimensional Spaces (CCA, PSY), pp. 70–81.
VLDB-2000-ChakrabartiM #approach #reduction: Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
VLDB-2000-GoldsteinR #nearest neighbour: Contrast Plots and P-Sphere Trees: Space vs. Time in Nearest Neighbour Searches (JG, RR), pp. 429–440.
VLDB-2000-HinneburgAK #nearest neighbour #question #what: What Is the Nearest Neighbor in High Dimensional Spaces? (AH, CCA, DAK), pp. 506–515.
VLDB-2000-SakuraiYUK #approximate #using: The A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation (YS, MY, SU, HK), pp. 516–526.
VLDB-2000-ShahabiFKF #interactive #named #web: INSITE: A Tool for Interpreting Users? Interaction with a Web Space (CS, AF, FBK, JF), pp. 635–638.
ITiCSE-2000-WuZ #fuzzy #problem: Embedding problem of noncompact fuzzy number space E~ (II) (CW, BZ), pp. 135–142.
ESOP-2000-Hofmann #bound #functional #type system: A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
TACAS-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.
STOC-2000-AlekhnovichBRW #calculus #complexity: Space complexity in propositional calculus (MA, EBS, AAR, AW), pp. 358–367.
ICALP-2000-CsirikW #bound #online: Resource Augmentation for Online Bounded Space Bin Packing (JC, GJW), pp. 296–304.
ICALP-2000-Seiden #algorithm #bound #online: An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing (SSS), pp. 283–295.
IFL-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.
CHI-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.
CHI-2000-SmithFD #chat #social #visual notation: The social life of small graphical chat spaces (MAS, SF, SMD), pp. 462–469.
CHI-2000-TaylorR #communication #consistency #semantics #using: Gaze communication using semantically consistent spaces (MJT, SMR), pp. 400–407.
CIKM-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.
CIKM-2000-Koudas #performance: Space Efficient Bitmap Indexing (NK), pp. 194–201.
ICML-2000-LauDW #algebra #programming: Version Space Algebra and its Application to Programming by Demonstration (TAL, PMD, DSW), pp. 527–534.
ICML-2000-LiRD #algorithm #incremental #maintenance: The Space of Jumping Emerging Patterns and Its Incremental Maintenance Algorithms (JL, KR, GD), pp. 551–558.
ICML-2000-PaccanaroH #concept #distributed #learning #linear: Learning Distributed Representations by Mapping Concepts and Relations into a Linear Space (AP, GEH), pp. 711–718.
ICML-2000-SmartK #learning: Practical Reinforcement Learning in Continuous Spaces (WDS, LPK), pp. 903–910.
ICML-2000-VijayakumarS #incremental #learning #realtime: Locally Weighted Projection Regression: Incremental Real Time Learning in High Dimensional Space (SV, SS), pp. 1079–1086.
ICPR-v1-2000-BerensF: Log-Opponent Chromaticity Coding of Color Space (JB, GDF), pp. 1206–1211.
ICPR-v1-2000-FlorianiMP #3d #online: On-line Space Sculpturing for 3D Shape Manipulation (LDF, PM, EP), pp. 1105–1108.
ICPR-v1-2000-LiuW #learning #recognition #representation: Learning the Face Space — Representation and Recognition (CL, HW), pp. 1249–1256.
ICPR-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.
ICPR-v1-2000-TerazonoMI #representation: Shadow Representation of Image-Based Objects in Virtual Space (KT, YM, SI), pp. 5003–5006.
ICPR-v2-2000-Duin #classification: Classifiers in Almost Empty Spaces (RPWD), pp. 2001–2007.
ICPR-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.
ICPR-v2-2000-MutoNH #classification #evaluation: Evaluation of a Modified Parzen Classifier in High Dimensional Spaces (YM, HN, YH), pp. 2067–2070.
ICPR-v2-2000-SongR #image: A Feature Space for Face Image Processing (QS, JR), pp. 2097–2100.
ICPR-v2-2000-TangXM00a #classification: Two-Step Classification Based on Scale Space (MT, JX, SM), pp. 2899–2902.
ICPR-v3-2000-BulowK #algorithm: Rubber Band Algorithm for Estimating the Length of Digitized Space-Curves (TB, RK), pp. 3551–3555.
ICPR-v3-2000-ChantlerM #classification #invariant #on the: On the Use of Gradient Space Eigenvalues for Rotation Invariant Texture Classification (MJC, GM), pp. 3943–3946.
ICPR-v3-2000-Ichimura #feature model #segmentation #using: Motion Segmentation Using Feature Selection and Subspace Method Based on Shape Space (NI), pp. 3858–3864.
ICPR-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.
ICPR-v3-2000-VertanB #classification #normalisation #representation: Color Texture Classification by Normalized Color Space Representation (CV, NB), pp. 3584–3587.
ICPR-v3-2000-WilkinsonRDB #analysis #using: Diatom Contour Analysis Using Morphological Curvature Scale Spaces (MHFW, JBTMR, SD, MB), pp. 3656–3659.
ICPR-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.
ICPR-v4-2000-SekiguchiE #generative #performance: Generating the Human Piano Performance in Virtual Space (HS, SE), pp. 4477–4481.
KDD-2000-AggarwalY #similarity: The IGrid index: reversing the dimensionality curse for similarity indexing in high dimensional space (CCA, PSY), pp. 119–129.
KR-2000-Galton: Continuous Motion in Discrete Space (AG), pp. 26–37.
SIGIR-2000-Ando #metric #precise #scalability #semantics #similarity: Latent semantic-space: iterative scaling improves precision of inter-document similarity measurement (RKA), pp. 216–223.
SIGIR-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.
SIGIR-2000-SoboroffN #collaboration: Collaborative filtering and the generalized vector space model (IS, CKN), pp. 351–353.
PPDP-2000-BakewellR #lazy evaluation: A model for comparing the space usage of lazy evaluators (AB, CR), pp. 151–162.
ICRE-2000-BaumBGM #component #design #requirements #reuse #using: Mapping Requirements to Reusable Components Using Design Spaces (LB, MB, LG, GM), pp. 159–167.
SAC-2000-MinskyMU #distributed #tuple: Making Tuple Spaces Safe for Heterogeneous Distributed Systems (NHM, YM, VU), pp. 218–226.
SAC-2000-Rowstron #comprehension #optimisation: Optimising the Linda in Primitive: Understanding Tuple-Space Run-times (AITR), pp. 227–232.
LCTES-2000-KandemirVIK #energy #towards: Towards Energy-Aware Iteration Space Tiling (MTK, NV, MJI, HSK), pp. 211–215.
CSL-2000-BauerB #dependent type: Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.
CSL-2000-Hemaspaandra #linear #satisfiability: Modal Satisfiability Is in Deterministic Linear Space (EH), pp. 332–342.
DAC-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.
DAC-1999-GunupudiN #using: Model-Reduction of Nonlinear Circuits Using Krylov-Space Techniques (PKG, MSN), pp. 13–16.
DAC-1999-HuGRQ #design #framework: A Framework for User Assisted Design Space Exploration (XH, GWG, SR, GQ), pp. 414–419.
DAC-1999-KinLMP #design #performance: Power Efficient Mediaprocessors: Design Space Exploration (JK, CL, WHMS, MP), pp. 321–326.
DATE-1999-JacomePRL #design: The Design Space Layer: Supporting Early Design Space Exploration for Core-Based Designs (MFJ, HPP, AR, JCL), pp. 676–683.
DATE-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.
DATE-1999-KonijnenburgLG #generative #identification #testing: Illegal State Space Identification for Sequential Circuit Test Generation (MHK, JTvdL, AJvdG), pp. 741–746.
ICDAR-1999-BippusM #2d #recognition #reduction #using: Script Recognition using Inhomogeneous P2DHMM and Hierarchical Search Space Reduction (RDB, VM), pp. 773–776.
ICDAR-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.
SIGMOD-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.
VLDB-1999-Pound: In Cyber Space No One can Hear You Scream (CP), pp. 207–210.
PLDI-1999-BlellochC #bound #garbage collection #multi #on the: On Bounding Time and Space for Multiprocessor Garbage Collection (GEB, PC), pp. 104–117.
SAS-1999-BozgaFG #analysis #reduction: State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
STOC-1999-BorodinOR99a #algorithm #approximate #clustering #problem: Subquadratic Approximation Algorithms for Clustering Problems in High Dimensional Spaces (AB, RO, YR), pp. 435–444.
STOC-1999-Gupta #metric: Embedding Tree Metrics Into Low Dimensional Euclidean Spaces (AG), pp. 694–700.
STOC-1999-Indyk #algorithm #metric #problem #sublinear: Sublinear Time Algorithms for Metric Space Problems (PI), pp. 428–434.
STOC-1999-RazR #bound #on the: On Recycling the Randomness of States in Space Bounded Computation (RR, OR), pp. 159–168.
Best-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.
FLOPS-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.
FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the: On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
ICALP-1999-DodisK #graph #trade-off: Space Time Tradeoffs for Graph Properties (YD, SK), pp. 291–300.
FM-v1-1999-ConquetM #automation #design #testing: Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project (EC, JLM), pp. 57–75.
ICFP-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.
CHI-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.
CHI-1999-RekimotoS #hybrid: Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments (JR, MS), pp. 378–385.
CHI-1999-SingerHSW #less is more: Tangible Progress: Less is More in Somewire Audio Spaces (AS, DH, LS, SW), pp. 104–111.
HCI-CCAD-1999-AntonaAS #approach #design #grammarware #human-computer: A grammar-based approach for populating HCI design spaces (MA, DA, CS), pp. 843–847.
HCI-CCAD-1999-ElzerK #visualisation: Visualization of scientific information in a virtual information space (PFE, UK), pp. 122–126.
HCI-CCAD-1999-NealI #case study #distance #education #experience #learning: Asynchronous distance learning for corporate education: experiences with Lotus LearningSpace (LN, DI), pp. 750–754.
HCI-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.
HCI-EI-1999-ChenL #development #interface #multi: Development of an Interface for Computing and Analyzing Multidimensional Perceptual Space (LLC, JWL), pp. 621–625.
HCI-EI-1999-Zerweck #multi: Multidimensional Orientation Systems in Virtual Space on the Basis of Finder (PZ), pp. 616–620.
ICEIS-1999-MarcosBGTF: Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.
SIGIR-1999-TurpinM #information retrieval #statistics: Statistical Phrases for Vector-Space Information Retrieval (poster abstract) (AT, AM), pp. 309–310.
OOPSLA-1999-SweeneyG #inheritance #layout #memory management #multi: Space and Time-Efficient Memory Layout for Multiple Inheritance (PFS, JYG), pp. 256–275.
PADL-1999-Watson: An Application of Action Theory to the Space Shuttle (RW), pp. 290–304.
RE-1999-WielsE #formal method #modelling #using: Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
ICSE-1999-BriandEW #cost analysis: Explaining the Cost of European Space and Military Projects (LCB, KEE, IW), pp. 303–312.
LCTES-1999-CooperSS #algorithm #optimisation #search-based #using: Optimizing for Reduced Code Space using Genetic Algorithms (KDC, PJS, DS), pp. 1–9.
PPoPP-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.
CADE-1999-Tobies #algorithm #logic: A PSpace Algorithm for Graded Modal Logic (ST), pp. 52–66.
CAV-1999-BrunsG #logic #model checking: Model Checking Partial State Spaces with 3-Valued Temporal Logics (GB, PG), pp. 274–287.
CSL-1999-Toran #bound: Lower Bounds for Space in Resolution (JT), pp. 362–373.
LICS-1999-DevarajanHPP #linear #logic #multi: Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
DAC-1998-KarkowskiC #algorithm #design #embedded #multi: Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design (IK, HC), pp. 82–87.
DAC-1998-YangD #validation: Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.
DATE-1998-ArsintescuO #constraints #layout: Constraints Space Management for the Layout of Analog IC’s (BGA, RHJMO), pp. 971–972.
DATE-1998-Eijk #equivalence #traversal: Sequential Equivalence Checking without State Space Traversal (CAJvE), pp. 618–623.
DATE-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.
DATE-1998-SrinivasanRV #clustering #design #hardware: Hardware Software Partitioning with Integrated Hardware Design Space Exploration (VS, SR, RV), pp. 28–35.
HT-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.
PODS-1998-CiacciaPZ #cost analysis #metric #query #similarity: A Cost Model for Similarity Queries in Metric Spaces (PC, MP, PZ), pp. 59–68.
VLDB-1998-WeberSB #analysis #performance: A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces (RW, HJS, SB), pp. 194–205.
PLDI-1998-Clinger #performance #recursion: Proper Tail Recursion and Space Efficiency (WDC), pp. 174–185.
STOC-1998-KushilevitzOR #approximate #nearest neighbour #performance: Efficient Search for Approximate Nearest Neighbor in High Dimensional Spaces (EK, RO, YR), pp. 614–623.
ICALP-1998-HertlingW: Randomness Spaces (PH, KW), pp. 796–807.
CHI-1998-AbramsBC #web: Information Archiving with Bookmarks: Personal Web Space Construction and Organization (DA, RB, MHC), pp. 41–48.
CHI-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.
CHI-1998-SchianoW #people: The First Noble Truth of CyberSpace: People are People (even when they MOO) (DJS, SW), pp. 352–359.
CSCW-1998-RamdunyDR #design: Exploring the Design Space for Notification Servers (DR, AJD, TR), pp. 227–235.
CSCW-1998-SmithHH #flexibility: Supporting Flexible Roles in a Shared Space (RBS, RH, BH), pp. 197–206.
CSCW-1998-ZhaoS #image: Evaluating Image Filtering Based Techniques in Media Space Applications (QAZ, JTS), pp. 11–18.
CAiSE-1998-PapazoglouM #multi #network: Content-Based Organization of the Information Space in Multi-Database Networks (MPP, SM), pp. 251–272.
CIKM-1998-ThomasianCL #approximate #clustering #composition: Clustering and Singular Value Decomposition for Approximate Indexing in High Dimensional Spaces (AT, VC, CSL), pp. 201–207.
ICML-1998-CristianiniSS #classification #scalability: Bayesian Classifiers Are Large Margin Hyperplanes in a Hilbert Space (NC, JST, PS), pp. 109–117.
ICML-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.
ICPR-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.
ICPR-1998-LimC #database #generative #multi #network: Neural network based feature space generation for multiple databases of handwritten numerals (KTL, SIC), pp. 375–377.
ICPR-1998-MaeS #3d: Tracking moving object in 3-D space based on optical flow and edges (YM, YS), pp. 1439–1441.
ICPR-1998-MokhtarianS #detection #image #robust: Curvature scale space for robust image corner detection (FM, RS), pp. 1819–1821.
ICPR-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.
ICPR-1998-SilvaS #estimation: Egomotion estimation on a topological space (CS, JSV), pp. 64–66.
ICPR-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.
ASPLOS-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.
HPDC-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.
HPDC-1998-GoddardS #generative #named: ToolSpace: A Next Generation Computing Environment (TG, VSS), pp. 356–357.
ISMM-1998-HicksHMN #case study #scalability: A Study of Large Object Spaces (MWH, LH, JTM, SN), pp. 138–145.
CAV-1998-WolperB #infinity #verification: Verifying Systems with Infinite but Regular State Spaces (PW, BB), pp. 88–97.
JICSLP-1998-DecorteS #analysis #termination: Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space (SD, DDS), pp. 235–249.
DAC-1997-LevitanMKRCFM #design: Computer-Aided Design of Free-Space Opto-Electronic Systems (SPL, PJM, TPK, MAR, DMC, CF, FBM), pp. 768–773.
DAC-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.
HT-1997-WangH #process: Supporting User-defined Activity Spaces (WW, JMH), pp. 112–123.
ICDAR-1997-Antonacopoulos #estimation: Local Skew Angle Estimation from Background Space in Text Regions (AA), pp. 684–688.
ICDAR-1997-TsudaM #classification #parametricity: A Nonparametric Density Model for Classification in a High Dimensional Space (KT, MM), pp. 1082–1087.
PODS-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.
SIGMOD-1997-BozkayaO #metric: Distance-Based Indexing for High-Dimensional Metric Spaces (TB, ZMÖ), pp. 357–368.
VLDB-1997-CiacciaPZ #metric #named #performance #similarity: M-tree: An Efficient Access Method for Similarity Search in Metric Spaces (PC, MP, PZ), pp. 426–435.
VLDB-1997-GarofalakisI #optimisation #parallel #query #scheduling: Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources (MNG, YEI), pp. 296–305.
TACAS-1997-KrimmM #composition #generative #source code: Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.
TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability: Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.
SAS-1997-Frey #polynomial #type system: Satisfying Subtype Inequalities in Polynomial Space (AF), pp. 265–277.
STOC-1997-Clarkson #metric #nearest neighbour #query: Nearest Neighbor Queries in Metric Spaces (KLC), pp. 609–617.
STOC-1997-IndykMRV #multi: Locality-Preserving Hashing in Multidimensional Spaces (PI, RM, PR, SV), pp. 618–625.
ICALP-1997-KhasidashviliG #geometry #orthogonal #reduction: The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
CHI-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.
CHI-1997-KobayashiS: Dynamic Soundscape: Mapping Time to Space for Audio Browsing (MK, CS), pp. 194–201.
HCI-CC-1997-Bannon: The Role of Common Information Spaces in CSCW (LJB), pp. 317–320.
HCI-CC-1997-BillinghurstBMW #collaboration: Shared Space: Collaborative Information Spaces (MB, SB, EM, SW), pp. 7–10.
HCI-CC-1997-GrinchenkoSLM #integration: Integration of Ukraine into Informational World Space: WWW Presentation Systems (TG, AAS, AL, VM), pp. 109–112.
HCI-CC-1997-PerusichM #fuzzy #problem #using: Using Fuzzy Cognitive Maps to Define the Search Space in Problem Solving (KP, MDM), pp. 805–808.
HCI-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.
HCI-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.
HCI-SEC-1997-ChurchillSBD #3d #documentation #using: Using VR-VIBE: Browsing and Searching for Documents in 3D-Space (EFC, DS, SB, PD), pp. 857–860.
HCI-SEC-1997-HondaKTOOM: A Virtual Office Environment for Supporting Informal Communications and Securing Personal Space (SH, TK, HT, TO, KiO, YM), pp. 909–912.
HCI-SEC-1997-Mizuno #analysis: Conjoint Analysis of Consumer Preferences in Cyber Space (MM), pp. 475–478.
HCI-SEC-1997-PedottiFB: Human Motor Strategies in Long Term Space Flights (AP, GF, GB), pp. 1009–1012.
HCI-SEC-1997-SadakataYTH: CyberForum on InterSpace (TS, TY, TT, HH), pp. 375–378.
HCI-SEC-1997-SinghSD #community #network: A Model of the Informational Affordances of Media Spaces in Community Networks (DTS, PPS, JD), pp. 819–822.
HCI-SEC-1997-SugimotoKT: A System for Exploring Information Spaces (MS, NK, AT), pp. 759–762.
CIKM-1997-LundquistGF #feedback: Improving Relevance Feedback in the Vector Space Model (CL, DAG, OF), pp. 16–23.
PLILP-1997-AntoyA: Narrowing the Narrowing Space (SA, ZMA), pp. 1–15.
ICSE-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.
HPCA-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.
PPoPP-1997-FuY #execution #parallel #performance: Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.
PPoPP-1997-JiangS #parallel: Parallel Shear-Warp Volume Rendering on Shared Address Space Multiprocessors (DJ, JPS), pp. 252–263.
PPoPP-1997-LimCCE #communication #performance: Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems (BHL, CCC, GC, TvE), pp. 230–239.
PPoPP-1997-NarlikarB #implementation #parallel: Space-Efficient Implementation of Nested Parallelism (GJN, GEB), pp. 25–36.
CAV-1997-AlurBHQR #partial order #reduction: Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
RTA-1997-TomasF #equation #geometry #linear #using: Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space (APT, MF), pp. 269–283.
HT-1996-CramerEMMP: Future (Hyper)Spaces (KC, SE, CCM, TM, MP), p. 261.
SIGMOD-1996-McAuliffeCS #effectiveness #performance #towards: Towards Effective and Efficient Free Space Management (MLM, MJC, MHS), pp. 389–400.
SIGMOD-1996-RossSS #constraints #maintenance: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time (KAR, DS, SS), pp. 447–458.
WPC-1996-BailesBCJ #ada: Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
STOC-1996-AlonMS #approximate #complexity: The Space Complexity of Approximating the Frequency Moments (NA, YM, MS), pp. 20–29.
STOC-1996-DeyG #algorithm: Algorithms for Manifolds and Simplicial Complexes in Euclidean 3-Space (Preliminary Version) (TKD, SG), pp. 398–407.
STOC-1996-KosarajuD #assembly #scalability #string: Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
FME-1996-Vito #formal method #navigation #requirements: Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
AFP-1996-RuncimanR96 #performance #profiling: Heap Profiling for Space Efficiency (CR, NR), pp. 159–183.
ICFP-1996-BlellochG #implementation #performance: A Provable Time and Space Efficient Implementation of NESL (GEB, JG), pp. 213–225.
ICFP-1996-RojemoR #compilation #profiling #revisited: Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.
CHI-1996-KambaEHSS #using: Using Small Screen Space More Efficiently (TK, SAE, TH, TS, PNS), pp. 383–390.
CSCW-1996-BenfordBRG: Shared Spaces: Transportation, Artificiality, and Spatiality (SB, CB, GR, CG), pp. 77–86.
CSCW-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.
CSCW-1996-HarrisonD #collaboration: Re-place-ing Space: The Roles of Place and Space in Collaborative Systems (SRH, PD), pp. 67–76.
CSCW-1996-HindusAMS #case study #named: Thunderwire: A Field Study of an Audio-Only Media Space (DH, MSA, SDM, BS), pp. 238–247.
CSCW-1996-SugawaraMKSIYKSTNLTS #video: InterSpace Project — CyberCampus (Video Program) (SS, NM, YK, KS, MI, TY, YK, KS, TT, TN, CL, TT, GS), p. 7.
CSCW-1996-WattsWCPKH: Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.
CIKM-1996-Henrich #adaptation #documentation: Adapting a Spatial Access Structure for Document Representations in Vector Space (AH), pp. 19–26.
CIKM-1996-HuffmanB #retrieval: Notes Explorer: Entity-Based Retrieval in Shared, Semi-Structured Information Spaces (SBH, CB), pp. 99–106.
ICML-1996-Sebag #approach #bias: Delaying the Choice of Bias: A Disjunctive Version Space Approach (MS), pp. 444–452.
ICPR-1996-AmanoHYI #approach #detection #image: Eigen space approach for a pose detection with range images (TA, SH, AY, SI), pp. 622–626.
ICPR-1996-ArimuraH #design #image #recognition: Feature space design for image recognition with image screening (KA, NH), pp. 261–265.
ICPR-1996-AstromH96a #analysis #probability: Stochastic analysis of scale-space smoothing (KÅ, AH), pp. 305–309.
ICPR-1996-BrucksteinRW #invariant #using: Recognizing objects using scale space local invariants (AMB, ER, IW), pp. 760–764.
ICPR-1996-CongM: Dyadic scale space (GC, SM), pp. 399–402.
ICPR-1996-GroveJ #memory management #trade-off: Space/time trade-offs for associative memory (AJG, DWJ), pp. 296–302.
ICPR-1996-LimWV: Tracking in a space variant active vision system (FLL, GAWW, SV), pp. 745–749.
ICPR-1996-LinL #detection #using: Detection of specularity using stereo in color and polarization space (SL, SWL), pp. 263–267.
ICPR-1996-Roberts #analysis #clustering: Scale-space unsupervised cluster analysis (SJR), pp. 106–110.
ICPR-1996-RougonP #comprehension: Understanding the structure of diffusive scale-spaces (NR, FJP), pp. 844–848.
ICPR-1996-SantiniJ #development #similarity: Gabor space and the development of preattentive similarity (SS, RJ), pp. 40–44.
ICPR-1996-SeoH #re-engineering: Sequential reconstruction of lines in projective space (YS, KSH), pp. 503–507.
ICPR-1996-Skubalska-RafajlowiczK #classification #metric #performance #using: Fast k-NN classification rule using metric on space-filling curves (ESR, AK), pp. 121–125.
ICPR-1996-Sporring: The entropy of scale-space (JS), pp. 900–904.
KDD-1996-StolorzD #data mining #detection #mining #named #scalability: Quakefinder: A Scalable Data Mining System for Detecting Earthquakes from Space (PES, CD), pp. 208–213.
KR-1996-Borgo #congruence: A Pointless Theory of Space Based on Strong Connection and Congruence (SB, NG, CM), pp. 220–229.
KR-1996-CadoliDLS #information management #performance #representation: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
POPL-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.
ASPLOS-1996-GrunwaldN #optimisation #performance #thread: Whole-Program Optimization for Time and Space Efficient Threads (DG, RN), pp. 50–59.
CAV-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.
CAV-1996-MillerK: Saving Space by Fully Exploiting Invisible Transitions (HM, SK), pp. 336–347.
ISSTA-1996-KangL #analysis #generative #performance #realtime: An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.
ISSTA-1996-PezzeY #analysis #generative #multi #tool support: Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
ICDAR-v1-1995-HoriuchiTYY #optimisation #probability #process: Relaxation optimizing processes in extended probabilistic space (TH, KT, KY, HY), pp. 266–269.
ICDAR-v1-1995-Ozaki #pattern matching #segmentation: Column segmentation by white space pattern matching (MO), pp. 134–137.
PODS-1995-DongS #bound: Space-Bounded FOIES (GD, JS), pp. 139–150.
SIGMOD-1995-DanS #online #policy #video: An Online Video Placement Policy based on Bandwith to Space Ratio (BSR) (AD, DS), pp. 376–385.
VLDB-1995-Brin #metric #scalability: Near Neighbor Search in Large Metric Spaces (SB), pp. 574–584.
VLDB-1995-GravanoG #database: Generalizing GlOSS to Vector-Space Databases and Broker Hierarchies (LG, HGM), pp. 78–89.
STOC-1995-EdmondsP #bound: A nearly optimal time-space lower bound for directed st-connectivity on the NNJAG model (JE, CKP), pp. 147–156.
STOC-1995-KosarajuD #assembly #scalability #string: Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.
STOC-1995-KushilevitzOR #communication #polynomial: Log-space polynomial end-to-end communication (EK, RO, AR), pp. 559–568.
DLT-1995-CattaneoFM #automaton: Rule Space Transformations and One-Dimensional Cellular Automata (GC, EF, GM), pp. 409–419.
ICALP-1995-KhullerRR #named: Graphbots: Mobility in Discrete Spaces (SK, ER, AR), pp. 593–604.
FPCA-1995-MeijerH #exponential: Bananas in Space: Extending Fold and Unfold to Exponential Types (EM, GH), pp. 324–333.
FPCA-1995-Rojemo #compilation #haskell: Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.
CHI-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.
CHI-1995-FurnasB #comprehension #diagrams #interface #multi: Space-Scale Diagrams: Understanding Multiscale Interfaces (GWF, BBB), pp. 234–241.
CHI-1995-GaverSO: A Virtual Window on Media Space (WWG, GS, KO), pp. 257–264.
CHI-1995-LokugeI #interactive #named #visualisation: GeoSpace: An Interactive Visualization System for Exploring Complex Information Spaces (IL, SI), pp. 409–414.
ICML-1995-SalganicoffU #learning #multi #using: Active Exploration and Learning in real-Valued Spaces using Multi-Armed Bandit Allocation Indices (MS, LHU), pp. 480–487.
KDD-1995-KohaviS #set #using: Feature Subset Selection Using the Wrapper Method: Overfitting and Dynamic Search Space Topology (RK, DS), pp. 192–197.
SIGIR-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.
ECOOP-1995-KiesslingK: Sharing Properties in a Uniform Object Space (HK, UK), pp. 424–448.
POPL-1995-SansomJ #functional #higher-order #profiling #strict: Time and Space Profiling for Non-Strict Higher-Order Functional Languages (PMS, SLPJ), pp. 355–366.
SAC-1995-JengL #algorithm: Optimal hypercube algorithms for robot configuration space computation (JFFJ, WNL), pp. 182–186.
HPCA-1995-SterlingSMG #evaluation: An Initial Evaluation of the Convex SPP-1000 for Earth and Space Science Application (TLS, DS, PM, JPG), pp. 176–185.
HPDC-1995-SterlingSBFO #communication #parallel: Communication Overhead for Space Science Applications on the Beowulf Parallel Workstation (TLS, DS, DJB, BF, KO), pp. 23–30.
IWMM-1995-Rojemo #functional #garbage collection #lazy evaluation: Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages (NR), pp. 145–162.
IWMM-1995-SuzukiKT #named #performance #scalability: MOA — A Fast Sliding Compaction Scheme for a Large Storage Space (MS, HK, MT), pp. 197–210.
SOSP-1995-TalluriHK: A New Page Table for 64-bit Address Spaces (MT, MDH, YYAK), pp. 184–200.
DAC-1994-SilvaS: Dynamic Search-Space Pruning Techniques in Path Sensitization (JPMS, KAS), pp. 705–711.
EDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal: A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
EDAC-1994-WittmannH #identification #optimisation #performance #testing: Efficient Path Identification for Delay Testing — Time and Space Optimization (HCW, MH), pp. 513–517.
HT-ECHT-1994-KaplanM #design #ontology: Where No Mind Has Gone Before: Ontological Design for Virtual Spaces (NK, SM), pp. 206–216.
PODS-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.
SAS-1994-Jorgensen #analysis #finite #fixpoint #using: Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration (NJ), pp. 329–345.
ICALP-1994-FreivaldsK #bound #random: Lower Space Bounds for Randomized Computation (RF, MK), pp. 580–592.
LFP-1994-ShaoA: Space-Efficient Closure Representations (ZS, AWA), pp. 150–161.
CHI-1994-HarrisonMBN94a #communication #design #interface: Communicating About Communicating: Cross-Disciplinary Design of a Media Space Interface (BH, MMM, GB, TN), pp. 124–130.
AdaEurope-1994-CorreriniP #assurance #named: ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.
AdaEurope-1994-Gale #ada #development #recommendation: Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment (LPG), pp. 175–203.
AdaEurope-1994-Taylor #development #formal method: Formal Methods for a Space Software Development Environment (PT), pp. 90–103.
CIKM-1994-GhandeharizadehI: Management of Disk Space with REBATE (SG, DI), pp. 304–311.
TOOLS-EUROPE-1994-Allard #named #object-oriented #programming: Keynote: Object-Oriented Programming at the European Space Agency (FA), p. 7.
PLILP-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.
SAC-1994-HughesWK #learning: Virtual space learning: creating text-based learning environments (BH, JW, BK), pp. 578–582.
CAV-1994-CousinH #performance: Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions (BC, JMH), pp. 364–376.
ISSTA-1994-Young #analysis #testing: State-Space Analysis as an Aid to Testing (Abstract) (MY), p. 203.
ICDAR-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.
SIGMOD-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.
SIGMOD-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.
VLDB-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.
PLDI-1993-Boehm #garbage collection #performance: Space Efficient Conservative Garbage Collection (HJB), pp. 197–206.
STOC-1993-BlumofeL #parallel #scheduling #thread: Space-efficient scheduling of multithreaded computations (RDB, CEL), pp. 362–371.
STOC-1993-Edmonds #trade-off: Time-space trade-offs for undirected st-connectivity on a JAG (JE), pp. 718–727.
STOC-1993-Goldberg #algorithm #graph #polynomial #product line: Polynomial space polynomial delay algorithms for listing families of graphs (LAG), pp. 218–225.
STOC-1993-KollerM #constraints: Constructing small sample spaces satisfying given constraints (DK, NM), pp. 268–277.
Best-of-PLDI-1993-Boehm93a #garbage collection #performance: Space efficient conservative garbage collection (with retrospective) (HJB), pp. 490–501.
DLT-1993-HromkovicRS #nondeterminism: Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.
ICALP-1993-Yamamoto #bound #nondeterminism #trade-off #turing machine: Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines (HY), pp. 203–214.
FPCA-1993-Sparud #garbage collection: Fixing Some Space Leaks without a Garbage Collector (JS), pp. 117–124.
HCI-ACS-1993-Barnard #design #modelling #research: Modelling Users, Systems and Design Spaces (Esprit Basic Research Action 3066) (PJB), pp. 331–336.
HCI-ACS-1993-Hale #design: Ergonomics and VDT Design for Space Environments (JPH), pp. 196–200.
HCI-ACS-1993-Hinman-Sweeney #communication #network: Developing an Electronic International Network for Space Communication (EMHS), pp. 161–166.
HCI-ACS-1993-LomanBR #human-computer #interface: Cognitive Model of Human-Computer Interface (HCI) Onboard Space Station Freedom (SSF) (JML, DJB, CR), pp. 201–206.
HCI-ACS-1993-Mount #human-computer: HCI in Space Systems (FEM), pp. 157–160.
HCI-ACS-1993-StuartSHFL: Remote Operations in the Hazardous Environments of Space (MAS, CES, RCH, TFF, AJL), pp. 295–300.
HCI-ACS-1993-VankovGRV #complexity: Operational Complexity of Controlling Space Vehicles (AV, YG, AR, AV), pp. 219–224.
HCI-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.
HCI-SHI-1993-KatoDO: The Basic Study of Natural Operation in Virtual Space (NK, MD, AO), pp. 681–686.
HCI-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.
INTERCHI-1993-FahlenBSC #interactive: A space based model for user interaction in shared synthetic environments (LEF, CGB, OS, CC), pp. 43–48.
INTERCHI-1993-GaverSHL #multi: One is not enough: multiple views in a media space (WWG, AS, CH, PL), pp. 335–341.
INTERCHI-1993-NigayC #concurrent #data fusion #design #multimodal: A design space for multimodal systems: concurrent processing and data fusion (LN, JC), pp. 172–178.
INTERCHI-1993-Staples #representation #user interface #visual notation: Representation in virtual space: visual convention in the graphical user interface (LS), pp. 348–354.
INTERCHI-1993-TonomuraAOS #tool support #video: VideoMAP and VideoSpaceIcon: tools for anatomizing video content (YT, AA, KO, TS), pp. 131–136.
ICML-1993-GratchCD #learning #network #scheduling: Learning Search Control Knowledge for Deep Space Network Scheduling (JG, SAC, GD), pp. 135–142.
TOOLS-USA-1993-Polze #approach #c++ #communication: The Object Space Approach: Decoupled Communication in C++ (AP), pp. 195–204.
PLILP-1993-Kaser #stack: Inlining to Reduce Stack Space (OK), pp. 262–274.
SAC-1993-MinZ #algorithm: Time-Space Optimal Convex Hull Algorithms (HM, SQZ), pp. 687–693.
SAC-1993-PattersonTH #distributed #fault tolerance: Construction of a Fault-Tolerant Distributed Tuple-Space (LIP, RST, RMH), pp. 279–285.
PPoPP-1993-AghaC #distributed #named #paradigm #programming: ActorSpaces: An Open Distributed Programming Paradigm (GA, CJC), pp. 23–32.
ILPS-1993-Meyer #logic #reasoning #towards #visual notation: Logic and the Structure of Space — Towards a Visual Logic for Spatial Reasoning (BM), p. 674.
ISSTA-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.
ISSTA-1993-Modes: Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.
DAC-1992-DuttaRV #distributed #synthesis: Distributed Design-Space Exploration for High-Level Synthesis Systems (RD, JR, RV), pp. 644–650.
STOC-1992-MayerOOY #self #symmetry: Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.
STOC-1992-Schulman: Sample Spaces Uniform on Neighborhoods (LJS), pp. 17–25.
ICALP-1992-SantisPY #bound #proving #statistics #verification: One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier (ADS, GP, MY), pp. 28–40.
CSCW-1992-IshiiKG #design #integration: Integration of Inter-Personal Space and Shared Workspace: ClearBoard Design and Experiments (HI, MK, JG), pp. 33–42.
CSCW-1992-ReevesS #communication #design #evolution: Supporting Communication Between Designers with Artifact-Centered Evolving Information Spaces (BR, FMSI), pp. 394–401.
AdaEurope-1992-Raines #ada #realtime: Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
ML-1992-Carpineto #consistency #induction #performance: Trading Off Consistency and Efficiency in version-Space Induction (CC), pp. 43–48.
SEKE-1992-Wong #incremental #library #using: Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.
SIGIR-1992-WangWY #analysis #geometry #modelling: An Analysis of Vector Space Models Based on Computational Geometry (ZW, SKMW, YY), pp. 152–160.
SOSP-WIP-1991-ChaseBLL92 #architecture #named: Opal: A Single Address Space System for 64-Bit Architectures (Abstract) (JSC, MBH, HML, EDL), p. 9.
ASPLOS-1992-KoldingerCE #architecture #operating system: Architectural Support for Single Address Space Operating Systems (EJK, JSC, SJE), pp. 175–186.
CAV-1992-GodefroidHP #revisited: State-Space Caching Revisited (PG, GJH, DP), pp. 178–191.
SIGMOD-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.
SIGMOD-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.
STOC-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.
STOC-1991-FiatN #trade-off: Rigorous Time/Space Tradeoffs for Inverting Functions (AF, MN), pp. 534–541.
VDME-1991-1-GarlanN #design #formal method: Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.
CHI-1991-CoutazB #named #user interface: Applications: a dimension space for user interface management systems (JC, SB), pp. 27–32.
CHI-1991-FischerS #information management: Information access in complex, poorly structured information spaces (GF, CS), pp. 63–70.
CHI-1991-ManteiBSBMW #case study #experience: Experiences in the use of a media space (MMM, RMB, AS, WB, TM, BW), pp. 203–208.
SIGIR-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.
ASPLOS-1991-Keppel #interface #on the fly: A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.
CAV-1991-Sterling #infinity: Taming Infinite State Spaces (CS), p. 1.
SIGMOD-1990-Orenstein #comparison #parametricity #query: A Comparison of Spatial Query Processing Techniques for Native and Parameter Spaces (JAO), pp. 343–352.
STOC-1990-Blum #infinity #learning: Learning Boolean Functions in an Infinite Atribute Space (Extended Abstract) (AB), pp. 64–72.
STOC-1990-NaorN #performance #probability: Small-bias Probability Spaces: Efficient Constructions and Applications (JN, MN), pp. 213–223.
STOC-1990-Nisan #bound #generative: Psuedorandom Generators for Space-Bounded Computation (NN), pp. 204–212.
ICALP-1990-Geffert #nondeterminism: Nondeterministic Computations in Sublogarithmic Space and Space Constructibility (VG), pp. 111–124.
ICALP-1990-Wiedermann #metric #normalisation #problem #ram: Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures (JW), pp. 125–138.
GG-1990-TaentzerS #graph grammar: Movement of Objects in Configuration Spaces modelled by graph Grammars (GT, HS), pp. 660–675.
CHI-1990-CardMR #design: The design space of input devices (SKC, JDM, GGR), pp. 117–124.
ML-1990-Hish #incremental: Incremental Version-Space Merging (HH), pp. 330–338.
SEKE-1990-Clark #predict: A State Space Model for Currency Exchange Rate Prediction (JC), pp. 267–271.
SIGIR-1990-Burkowski #retrieval #set: Surrogate Subsets: A Free Space Management Strategy for the Index of a Text Retrieval System (FJB), pp. 211–226.
WAGA-1990-JulieP #attribute grammar #optimisation: Space Optimization in the FNC-2 Attribute Grammar System (CJ, DP), pp. 29–45.
DAC-1989-BalakrishnanM #approach #design #scheduling #synthesis: Integrated Scheduling and Binding: A Synthesis Approach for Design Space Exploration (MB, PM), pp. 68–74.
HT-1989-StreitzHT #process: From Ideas and Arguments to Hyperdocuments: Travelling through Activity Spaces (NAS, JH, MT), pp. 343–364.
SIGMOD-1989-Christodoulakis #performance #retrieval: Retrieval Performance Versus Disc Space Utilization on WORM Optical Discs (SC, DAF), pp. 306–314.
STOC-1989-Beame #trade-off: A General Sequential Time-Space Tradeoff for Finding Unique Elements (PB), pp. 197–203.
STOC-1989-BroderKRU: Trading Space for Time in Undirected s-t Connectivity (AZB, ARK, PR, EU), pp. 543–549.
STOC-1989-ChazelleEGS #algorithm #combinator: Lines in Space-Combinatorics, Algorithms and Applications (BC, HE, LJG, MS), pp. 382–393.
STOC-1989-LamTT #communication #trade-off: Tradeoffs Between Communication and Space (TWL, PT, MT), pp. 217–226.
CHI-1989-RudisillG #human-computer #interactive: NASA Johnson Space Center, Human-Computer Interaction (MR, DJG), pp. 55–56.
ML-1989-Hirsh #empirical #learning: Combining Empirical and Analytical Learning with Version Spaces (HH), pp. 29–33.
ML-1989-Knoblock #abstraction #learning: Learning Hierarchies of Abstraction Spaces (CAK), pp. 241–245.
ML-1989-Riddle #reduction: Reformation from State Space to Reduction Space (PJR), pp. 439–440.
ML-1989-Tallis #bias: Overcoming Feature Space Bias in a Reactive Environment (HT), pp. 505–508.
CSL-1989-PrieseN #metric #semantics #using: Semantic for Abstract Fairness using Metric Spaces (LP, DN), pp. 355–368.
PODS-1988-HuangL #multi #set: Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.
PODS-1988-YuR #database #version control: Minimizing Time-Space Cost For Database Version Control (LY, DJR), pp. 294–301.
SIGMOD-1988-HutfleszSW #grid #optimisation: Twin Grid Files: Space Optimizing Access Schemes (AH, HWS, PW), pp. 183–190.
STOC-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.
STOC-1988-PelegU #performance #trade-off: A Tradeoff between Space and Efficiency for Routing Tables (Extended Abstract) (DP, EU), pp. 43–52.
ICALP-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.
OOPSLA-1988-MatsuokaK #communication #distributed #object-oriented #tuple #using: Using Tuple Space Communication in Distributed Object-Oriented Languages (SM, SK), pp. 276–284.
DAC-1987-CarpenterH #constraints #generative #incremental: Generating Incremental VLSI Compaction Spacing Constraints (CWC, MH), pp. 291–297.
VLDB-1987-GuntherW #geometry #representation: A Dual Space Representation for Geometric Data (OG, EW), pp. 501–506.
PLDI-1987-Pittman #execution #hybrid #interpreter #performance: Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
HCI-CE-1987-Sheppard #modelling #multi: A Methodology for Modeling Multi-Position EV and IV Tasks for Space Station (SBS), pp. 281–288.
SIGIR-1987-Schauble #concept: Thesaurus Based Concept Spaces (PS), pp. 254–262.
OOPSLA-1987-Lucco #parallel #programming: Parallel Programming in a Virtual Object Space (SL), pp. 26–34.
DAC-1986-NaharS #performance: A time and space efficient net extractor (SN, SS), pp. 411–417.
SIGIR-1986-WongZRW #on the #query: On Extending the Vector Space Model for Boolean Query Processing (SKMW, WZ, VVR, PCNW), pp. 175–185.
STOC-1985-Vaidya #orthogonal #query #trade-off: Space-Time Tradeoffs for Orthogonal Range Queries (Extended Abstract) (PMV), pp. 169–174.
ICALP-1985-Jung #on the #probability: On Probabilistic Time and Space (HJ), pp. 310–317.
SIGIR-1985-Korfhage #documentation #metric: Theoretical Measures in P/Q Document Spaces (RK), pp. 33–40.
SIGIR-1985-WongZW #information retrieval: Generalized Vector Space Model in Information Retrieval (SKMW, WZ, PCNW), pp. 18–25.
STOC-1984-DeganoM #convergence #liveness #metric: Liveness Properties as Convergence in Metric Spaces (PD, UM), pp. 31–38.
STOC-1984-SharirS #on the: On Shortest Paths in Polyhedral Spaces (MS, AS), pp. 144–153.
STOC-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.
ICALP-1984-IbarraKR #performance #simulation #strict: Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.
LFP-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.
SIGIR-1984-WongR #information retrieval: Vector Space Model of Information Retrieval — A Reevaluation (SKMW, VVR), pp. 167–185.
DAC-1983-FukunagaYSK #approach #graph #using: Placement of circuit modules using a graph space approach (KF, SY, HSS, TK), pp. 465–471.
DAC-1983-SzymanskiW #algorithm #analysis #performance: Space efficient algorithms for VLSI artwork analysis (TGS, CJVW), pp. 734–739.
STOC-1983-Yao: A 3-Space Partition and Its Applications (Extended Abstract) (FFY), pp. 258–263.
ICALP-1983-KamimuraT #effectiveness: Effectively Given Spaces (TK, AT), pp. 385–396.
SIGMOD-1982-DongH #approximate #dependence #order: Applying Approximate Order Dependency to Reduce Indexing Space (JD, RH), pp. 119–127.
STOC-1982-RuzzoST #bound #probability: Space-Bounded Hierarchies and Probabilistic Computations (WLR, JS, MT), pp. 215–223.
STOC-1982-Yao #query #trade-off: Space-Time Tradeoff for Answering Range Queries (Extended Abstract) (ACCY), pp. 128–136.
GG-1982-SiromoneyS #graph #infinity: Space-filling curves and infinite graphs (RS, KGS), pp. 380–391.
DAC-1981-Scoble #interactive #using: Creating and updating space occupancy and building plans using interactive graphics (RAS), pp. 66–73.
STOC-1981-GalilS #string: Time-Space-Optimal String Matching (ZG, JIS), pp. 106–113.
STOC-1981-Simon #bound #complexity #probability #turing machine: Space-Bounded Probabilistic Turing Machine Complexity Classes Are Closed under Complement (Preliminary Version) (JS), pp. 158–167.
DAC-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.
DAC-1980-TadaYKS #performance #strict: A fast maze router with iterative use of variable search space restriction (FT, KY, TK, TS), pp. 250–254.
STOC-1980-BorodinC #sorting #trade-off: A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation (AB, SAC), pp. 294–301.
STOC-1980-Hong #complexity #on the #problem: On Some Deterministic Space Complexity Problems (JWH), pp. 310–317.
STOC-1980-JaJa #algebra #problem #trade-off: Time-Space Tradeoffs for some Algebraic Problems (JJ), pp. 339–350.
STOC-1980-Tompa80a #algorithm #implementation #polynomial #sublinear #transitive: Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations (MT), pp. 333–338.
STOC-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.
ICALP-1980-LewisP #bound #symmetry: Symmetric Space-Bounded Computation (Extended Abstract) (HRL, CHP), pp. 374–384.
ICALP-1980-Schmidt #attribute grammar #strict: Space-Restricted Attribute Grammars (EMS), pp. 436–448.
DAC-1979-WeingartenKC #3d #interactive #named #using: DRAW3D: Time sharing graphic interaction using a device-space buffer (NHW, WK, MC), pp. 135–141.
SCC-1979-Raiha #attribute grammar #multi: Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars (KJR), pp. 26–38.
STOC-1979-Cook #polynomial: Deterministic CFL’s Are Accepted Simultaneously in Polynomial Time and Log Squared Space (SAC), pp. 338–345.
STOC-1979-GilbertLT #polynomial #problem: The Pebbling Problem is Complete in Polynomial Space (JRG, TL, RET), pp. 237–248.
STOC-1979-LengauerT #bound #trade-off: Upper and Lower Bounds on Time-Space Tradeoffs (TL, RET), pp. 262–277.
STOC-1979-Peterson #modelling #parallel #trade-off: Time-Space Trade-Offs for Asynchronous Parallel Models: Reducibilities and Equivalences (GLP), pp. 224–230.
ICALP-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.
ICALP-1979-SavageS #integer #multi #trade-off: Space-Time Tradeoffs for Oblivious Integer Multiplications (JES, SS), pp. 498–504.
POPL-1979-SavageS #linear #recursion #trade-off: Space-Time Tradeoffs for Linear Recursion (SS, JES), pp. 135–142.
DAC-1978-Ruch #approach #graph #interactive #layout: Interactive space layout: A graph theoretical approach (JR), pp. 152–157.
STOC-1978-BrussM #formal method #on the: On Time-Space Classes and Their Relation to the Theory of Real Addition (ARB, ARM), pp. 233–239.
STOC-1978-Tompa #trade-off #using: Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of their Circuits (MT), pp. 196–204.
ICALP-1978-DobkinM #bound #problem: Time and Space Bounds for Selection Problems (DPD, JIM), pp. 192–204.
DAC-1977-HellerMD #predict #requirements: Prediction of wiring space requirements for LSI (WRH, WFM, WED), pp. 32–42.
ICALP-1977-PaulT #game studies #trade-off: Time-Space Trade-Offs in a Pebble Game (WJP, RET), pp. 365–369.
SIGMOD-1976-Pecherer #performance: Efficient Exploration of Product Spaces (RMP), pp. 169–177.
STOC-1976-BentleyS #divide and conquer #multi: Divide-and-Conquer in Multidimensional Space (JLB, MIS), pp. 220–230.
STOC-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.
STOC-1976-PaulTC #bound #game studies #graph: Space Bounds for a Game of Graphs (WJP, RET, JRC), pp. 149–160.
ICALP-1976-AltM #bound #complexity #recognition: Lower Bounds for the Space Complexity of Context-Free Recognition (HA, KM), pp. 338–354.
SOSP-J-1975-PrieveF76 #algorithm #named: VMIN — An Optimal Variable-Space Page Replacement Algorithm (BGP, RSF), pp. 295–297.
DAC-1975-Teicholz #process: The computer in the space planning process (ET), pp. 331–344.
VLDB-1975-Chin #analysis #behaviour: Analysis of VSAM’s Free-Space Behavior (YHC), pp. 514–515.
STOC-1975-EvenT #combinator #polynomial #problem: a Combinatorial Problem which is Complete in Polynomial Space (SE, RET), pp. 66–71.
STOC-1974-Horvath #performance #sorting: Efficient Stable Sorting with Minimal Extra Space (ECH), pp. 194–215.
DAC-1973-FullenwiderR #architecture #implementation: Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.
DAC-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.
DAC-1972-BannaS #interactive: An interactive computer graphics space allocation system (SAB, WRS), pp. 229–237.
DAC-1972-FrewR #approach #layout #problem: Building polyonimoes; an approach to the space layout problem (RSF, PHR), p. 238.
DAC-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.
DAC-1971-Eastman #named: GSP: A system for computer assisted space planning (CEE), pp. 208–220.
DAC-1971-Grason #approach #graph #using: An approach to computerized space planning using graph theory (JG), pp. 170–178.
DAC-1971-Veit #named: Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.
DAC-1970-Miller: Computer-aided space planning (WRM), pp. 28–34.
SHARE-1964-SimpsonA #analysis: Space frame analysis and applications to other types of structures (HS, JA).