Sciweavers

1554 search results - page 93 / 311
» cases 2003
Sort
View
IMR
2003
Springer
15 years 3 months ago
Multiple Stationary and Moving Boundary Handling in Cartesian Grids
A Cartesian grid generation methodology is developed for unsteady control volume computational fluid dynamic (CFD) solvers. Arbitrary combinations and numbers of moving and statio...
Kerem Pekkan
AIPS
2003
14 years 11 months ago
GPT Meets PSR
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
Blai Bonet, Sylvie Thiébaux
CCCG
2003
14 years 11 months ago
Shortest Paths in Two Intersecting Pencils of Lines
Suppose one has a line arrangement and one wants to find a shortest path from one point lying on a line of the arrangement to another such point. We look at a special case: the a...
David Hart
DAGSTUHL
2003
14 years 11 months ago
Self-Stabilization and Behavioral Diversity of Embodied Adaptive Locomotion
Locomotion is of fundamental importance in understanding adaptive behavior. In this paper we present two case studies of robot locomotion that demonstrate how higher level of behav...
Fumiya Iida, Rolf Pfeifer
DAGSTUHL
2003
14 years 11 months ago
Embedding a Hardware Description Language in Template Haskell
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
John T. O'Donnell