3121 search results - page 466 / 625 » Information Survivability Control Systems |
138
click to vote
JOLLI
2007
15 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
114
click to vote
JSW
2007
15 years 4 months ago
2007
—Voice over IP (VoIP) has had a strong effect on global communications by allowing human voice and fax information to travel over existing packet data networks along with traditi...
206
click to vote
BC
2002
15 years 4 months ago
2002
Abstract. How do humans achieve the precise positioning of the feet during walking, for example, to reach the first step of a stairway? We addressed this question at the visuomotor...
128
click to vote
COLING
2002
15 years 4 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
146
Voted
FAC
2010
15 years 3 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...