Sciweavers

674 search results - page 66 / 135
» Separating Structure from Interestingness
Sort
View
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
14 years 4 months ago
A Force-Feedback Algorithm for Adaptive Articulated-Body Dynamics Simulation
— This paper introduces a novel algorithm for haptic interaction with an adaptive simulation of articulated-body dynamics. Our algorithm has a multi-threaded structure, which all...
Sandy Morin, Stephane Redon
COORDINATION
2005
Springer
14 years 3 months ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
CP
2005
Springer
14 years 3 months ago
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
ESORICS
2005
Springer
14 years 3 months ago
On Scalability and Modularisation in the Modelling of Network Security Systems
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
João Porto de Albuquerque, Heiko Krumm, Pau...
WEBI
2005
Springer
14 years 3 months ago
An Adaptive Architecture for Physical Agents
In this paper we describe ICARUS, an adaptive architecture for intelligent physical agents. We contrast the framework’s assumptions with those of earlier architectures, taking e...
Pat Langley