Sciweavers

1021 search results - page 35 / 205
» Concepts in Proof Planning
Sort
View
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
14 years 3 months ago
Fit Perspectives and Theory Building in Information Systems
Our study examines the fit concept in the context of IS planning, a major research stream in the IS literature. Previous research reveals inconsistencies in the IS planning litera...
Victoria Mitchell, Hasan Mohammad, Tracey Stock, X...
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
14 years 2 months ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
AIPS
2009
13 years 9 months ago
A Semantics for HTN Methods
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
Robert P. Goldman
IJRR
2000
113views more  IJRR 2000»
13 years 8 months ago
Sensor-Based Exploration: The Hierarchical Generalized Voronoi Graph
The hierarchical generalized Voronoi graph (HGVG) is a new roadmap developed for sensor-based exploration in unknown environments. This paper defines the HGVG structure: a robot c...
Howie Choset, Joel W. Burdick
IROS
2008
IEEE
121views Robotics» more  IROS 2008»
14 years 3 months ago
Online ZMP sampling search for biped walking planning
— In this paper, we present a new method that uses random search for online planning of biped walking, given a feasible footstep plan. The Linear Inverted Pendulum dynamic model ...
Jinsu Liu, Manuela M. Veloso