4460 search results - page 316 / 892 » Formal methods for interactive systems |
228
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This work deals with modeling and markerless tracking of athletes interacting with sports gear. In contrast to classical markerless tracking, the interaction with sports gear come...
227
click to vote
ICIAR
2009
Springer
2009
Springer
Interactive Image Segmentation Based on Hierarchical Graph-Cut Optimization with Generic Shape Prior
16 years 1 months ago
Abstract. A new algorithm for interactive image segmentation is proposed. Besides the traditional appearance and gradient information, a new Generic Shape Prior (GSP) knowledge whi...
161
click to vote
GMP
2006
IEEE
16 years 22 days ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
166
Voted
CHI
2009
ACM
15 years 11 months ago
2009
ACM
When gathering feedback about an envisioned system, prototypes communicate design ideas to user groups. However, it is unclear how user responses are affected by prototype format....
182
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...