602 search results - page 89 / 121 » Efficient Model Checking of Applications with Input Output |
GRAPHITE
2005
ACM
14 years 1 months ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
VCIP
2000
13 years 9 months ago
2000
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...
NIPS
2008
13 years 9 months ago
2008
Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchical ...
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Principal component analysis (PCA) has been extensively applied in data mining, pattern recognition and information retrieval for unsupervised dimensionality reduction. When label...