231 search results - page 7 / 47 » A Brief Overview of PVS |
IVA
2007
Springer
14 years 1 months ago
2007
Springer
This paper provides a brief overview of an implicit training method used for teaching autonomous agents to represent humans in 3D Virtual Worlds without any explicit training effo...
ISRR
2005
Springer
14 years 29 days ago
2005
Springer
ct This paper presents the author’s view on the main challenges for autonomous operation in surface mining environment. A brief overview of the mine operation is presented showin...
KIVS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract: The document will give a brief overview of the Presence and Availability -specification in general, protocols used in the IP Multimedia Subsystem - namely SIP and Diamet...
PG
2003
IEEE
14 years 22 days ago
2003
IEEE
I argue that computer graphics can benefit from a deeper use of machine learning techniques. I give an overview of what learning has to offer the graphics community, with an emph...
COLT
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...