Sciweavers

1843 search results - page 284 / 369
» Securing Class Initialization
Sort
View
COMPGEOM
1995
ACM
14 years 1 months ago
Searching for the Kernel of a Polygon - A Competitive Strategy
We present a competitive strategy for walking into the kernel of an initially unknown star-shaped polygon. From an arbitrary start point, s, within the polygon, our strategy find...
Christian Icking, Rolf Klein
AAAI
2008
14 years 8 days ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
AAAI
2008
14 years 8 days ago
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
Chad Hogg, Héctor Muñoz-Avila, Ugur ...
AAAI
2010
13 years 11 months ago
Automatic Derivation of Finite-State Machines for Behavior Control
Finite-state controllers represent an effective action selection mechanisms widely used in domains such as video-games and mobile robotics. In contrast to the policies obtained fr...
Blai Bonet, Héctor Palacios, Hector Geffner
BIS
2008
152views Business» more  BIS 2008»
13 years 11 months ago
VIEW: A Framework for Interactive eLearning in a Virtual World
In the field of eLearning systems, several systems have been implemented in order to create a virtual university or virtual training center. By connecting several virtual universit...
Kamal Bijlani, P. Manoj, P. Venkat Rangan