231 search results - page 34 / 47 » A Brief Overview of PVS |
76
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...
VLDB
2001
ACM
15 years 2 months ago
2001
ACM
The Propel Distributed Services Platform (PDSP) is the core software product of Propel, a new Internet infrastructure software company. The PDSP product was created to enable Java...
82
Voted
PG
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a brief overview of an algorithm for interactively animating object grasping and manipulation tasks for human figures. The technique is designed to efficiently genera...
RTAS
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
CL
2000
Springer
15 years 2 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...