Sciweavers

1759 search results - page 179 / 352
» A guide to membrane computing
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 8 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
HOTOS
2007
IEEE
15 years 8 months ago
Thread Scheduling for Multi-Core Platforms
As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will bec...
Mohan Rajagopalan, Brian T. Lewis, Todd A. Anderso...
AI
2001
Springer
15 years 8 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
ISER
2000
Springer
80views Robotics» more  ISER 2000»
15 years 8 months ago
Robot Navigation for Automatic Model Construction Using Safe Regions
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
Héctor H. González-Baños, Jea...
AAAI
2008
15 years 7 months ago
Simulation-Based Approach to General Game Playing
The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. ...
Hilmar Finnsson, Yngvi Björnsson