3750 search results - page 481 / 750 » Timed Automata Patterns |
148
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
144
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
This paper presents a method for the detection and recognition of social interactions in a day-long first-person video of a social event, like a trip to an amusement park. The lo...
189
Voted
VIS
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract--Smooth surface extraction using partial differential equations (PDEs) is a well-known and widely used technique for visualizing volume data. Existing approaches operate o...
144
Voted
JASIS
2007
15 years 3 months ago
2007
We present evidence that, in some research fields, research published in journals and reported on the Web may collectively represent different evolutionary stages of the field wit...
178
Voted
PERVASIVE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...