4502 search results - page 456 / 901 » Regular Model Checking |
222
click to vote
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
— A new approach to the 3D human motion tracking problem is proposed, which combines several particle filters with a physical simulation of a flexible body model. The flexible...
197
click to vote
SMI
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a flexible, scalable framework for interactive hands-on shape design in a haptic, stereoscopic virtual environment. The framework is founded upon the concept ...
195
click to vote
ER
2004
Springer
16 years 28 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
210
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
There is an increased dominance of intra-die process variations, creating a need for an accurate and fast statistical timing analysis. Most of the recent proposed approaches assum...
204
click to vote
ACL
2006
15 years 9 months ago
2006
Certain distinctions made in the lexicon of one language may be redundant when translating into another language. We quantify redundancy among source types by the similarity of th...