5232 search results - page 110 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
131
click to vote
SDL
2003
15 years 3 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
118
click to vote
CANS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
132
Voted
AAAI
1998
15 years 3 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
104
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...
173
Voted
IBPRIA
2007
Springer
15 years 3 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...