231 search results - page 35 / 47 » A Brief Overview of HOL4 |
PG
2000
IEEE
15 years 1 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...
97
Voted
RTAS
2000
IEEE
15 years 1 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...
94
Voted
CL
2000
Springer
15 years 1 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...
IPPS
1998
IEEE
15 years 1 months 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
15 years 1 months 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, ...