2583 search results - page 371 / 517 » On the Representation of Timed Polyhedra |
141
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
161
click to vote
MICAI
2009
Springer
16 years 29 days ago
2009
Springer
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
187
click to vote
SG
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonethele...
186
click to vote
DEBS
2009
ACM
16 years 28 days ago
2009
ACM
The nature of data in enterprises and on the Internet is changing. Data used to be stored in a database first and queried later. Today timely processing of new data, represented ...
151
click to vote
DEBS
2009
ACM
16 years 28 days ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...