4460 search results - page 199 / 892 » Formal methods for interactive systems |
158
click to vote
ACIVS
2006
Springer
15 years 8 months ago
2006
Springer
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
95
Voted
IHM
2005
ACM
15 years 9 months ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
128
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...
126
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
133
Voted
CVPR
2003
IEEE
15 years 9 months ago
2003
IEEE
Relevance feedback has been an indispensable component for multimedia retrieval systems. In this paper, we present an adaptive pattern discovery method, which addresses relevance ...