1501 search results - page 211 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
116
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Understanding and exploiting the abilities of the human visual system is an important part of the design of usable user interfaces and information visualizations. Good design enab...
130
click to vote
LREC
2010
15 years 5 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
150
click to vote
NIPS
2004
15 years 5 months ago
2004
Schema learning is a way to discover probabilistic, constructivist, predictive action models (schemas) from experience. It includes methods for finding and using hidden state to m...
118
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
100
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...