231 search results - page 35 / 47 » A Brief Overview of HOL4 |
PG
2000
IEEE
14 years 29 days 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
14 years 29 days 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
14 years 28 days 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...
IPPS
1998
IEEE
14 years 25 days ago
1998
IEEE
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
HT
1997
ACM
14 years 23 days ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...