5232 search results - page 739 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
179
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
181
click to vote
ICFEM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
190
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a first attempt to classify events in static images by integrating scene and object categorizations. We define an event in a static image as a human activity taking pla...
186
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Tolerance to pose variations is one of the key remaining problems in face recognition. It is of great interest in airport surveillance systems using mugshot databases to screen tr...
163
click to vote
CA
1997
IEEE
15 years 11 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...