3828 search results - page 80 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
Content based image retrieval (CBIR), a technique which uses visual contents to search images from the large scale image databases, is an active area of research for the past decad...
135
Voted
CIKM
2010
Springer
15 years 16 days ago
2010
Springer
We introduce EntityEngine, a system for answering entityrelationship queries over text. Such queries combine SQLlike structures with IR-style keyword constraints and therefore, ca...
156
Voted
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
149
Voted
HAPTICS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
130
Voted
VRST
2000
ACM
15 years 6 months ago
2000
ACM
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...