231 search results - page 32 / 47 » A Brief Overview of PVS |
LCN
2006
IEEE
14 years 1 months ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an over...
HT
2005
ACM
14 years 1 months ago
2005
ACM
People have become used to paper as an information carrier over thousands of years. Paper is usually easy to handle and has been adopted as a metaphor for information structures i...
MM
2005
ACM
14 years 1 months ago
2005
ACM
The number of digital photographs is growing beyond the abilities of individuals to easily manage and understand their own photo collections. Photo LOI (Level of Interest) is a te...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...