Sciweavers

1071 search results - page 61 / 215
» Theories of Automatic Structures and Their Complexity
Sort
View
GRID
2005
Springer
14 years 1 months ago
Automatic clustering of grid nodes
— In a grid-computing environment, resource selection and scheduling depend on the network topology connecting the computation nodes. This paper presents a method to hierarchical...
Qiang Xu, Jaspal Subhlok
JAIR
1998
120views more  JAIR 1998»
13 years 7 months ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long
EPEW
2007
Springer
14 years 2 months ago
Towards an Automatic Modeling Tool for Observed System Behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
14 years 1 months ago
Performance of Surgical Robots with Automatically Generated Spatial Virtual Fixtures
– Our recent work on robotic surgical assistant systems has led us to develop a method to generate spatial motion constraints associated with complex 3D geometry for controlling ...
Ming Li, Russell H. Taylor
JSS
2008
89views more  JSS 2008»
13 years 8 months ago
A search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
Yuan Zhan, John A. Clark