4460 search results - page 701 / 892 » Formal methods for interactive systems |
142
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...
138
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
206
click to vote
TOG
2012
13 years 6 months ago
2012
The abundance of mobile devices and digital cameras with video capture makes it easy to obtain large collections of video clips that contain the same location, environment, or eve...
130
click to vote
TRECVID
2008
15 years 5 months ago
2008
The Oxford/IIIT team participated in the high-level feature extraction and interactive search tasks. A vision only approach was used for both tasks, with no use of the text or aud...
143
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
Most location sharing applications display people's locations on a map. However, people use a rich variety of terms to refer to their locations, such as "home," &qu...