1938 search results - page 319 / 388 » On Positive Relational Calculi |
154
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
163
click to vote
PSIVT
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a novel approach for automatic people counting in videos captured through a conventional closed-circuit television (CCTV) using computer vision techniques. The ...
140
Voted
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— Being able to localize the origin of a sound is important for our capability to interact with the environment. Humans can localize a sound source in both the horizontal and ver...
123
click to vote
ITICSE
2006
ACM
15 years 11 months ago
2006
ACM
Identifying and managing students who experience difficulty with learning to program is a challenge for CS educators. In an attempt to answer the familiar question “What makes f...
156
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...