Sciweavers

4235 search results - page 278 / 847
» Process Spaces
Sort
View
TABLETOP
2006
IEEE
15 years 10 months ago
Considering Reach in Tangible and Table Top Design
Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is u...
Aaron Toney, Bruce H. Thomas
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 9 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
117
Voted
PREMI
2005
Springer
15 years 9 months ago
Eliciting Domain Knowledge in Handwritten Digit Recognition
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
Tuan Trung Nguyen
116
Voted
VLDB
2005
ACM
86views Database» more  VLDB 2005»
15 years 9 months ago
One-Pass Wavelet Synopses for Maximum-Error Metrics
We study the problem of computing waveletbased synopses for massive data sets in static and streaming environments. A compact representation of a data set is obtained after a thre...
Panagiotis Karras, Nikos Mamoulis
CP
2004
Springer
15 years 9 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...