1695 search results - page 37 / 339 » Interactive query refinement |
118
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...
109
click to vote
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
An interactive framework for soft segmentation and matting of natural images and videos is presented in this paper. The proposed technique is based on the optimal, linear time, co...
120
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a pilot study of a computer simulation called WIIS, which is designed to extend students' learning experience of the sizes of the objects beyond human vi...
121
click to vote
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...