1830 search results - page 210 / 366 » Workshop on Graph Computation Models |
180
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
212
Voted
IWCM
2004
Springer
15 years 11 months ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
181
click to vote
SADM
2011
15 years 1 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
199
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
140
Voted
SAT
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...