Sciweavers

2701 search results - page 73 / 541
» On the form of witness terms
Sort
View
ESTIMEDIA
2003
Springer
15 years 11 months ago
EPIC-Explorer: A Parameterized VLIW-based Platform Framework for Design Space Exploration
— The constant increase in levels of integration and the reduction of the time-to-market have led to the definition of new methodologies stressing reuse. This involves not only ...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi,...
ICRA
2002
IEEE
83views Robotics» more  ICRA 2002»
15 years 11 months ago
Kinematic Constraints for Assisted Single-Arm Manipulation
Of several possible forms of human-robot collaborative manipulation, we focus on the case where the human and the robot jointlymanipulate a common load. In our formulation, the ro...
Tanya Tickel, David Hannon, Kevin M. Lynch, Michae...
MA
2001
Springer
118views Communications» more  MA 2001»
15 years 10 months ago
Dynamic Adaptation of Mobile Agents in Heterogenous Environments
Mobile agents must be prepared to execute on different hosts and therefore in different execution environments. Even when a homogenous exenvironment is offered by abstracting th...
Raimund Brandt, Helmut Reiser
DAC
1996
ACM
15 years 10 months ago
Delay Minimal Decomposition of Multiplexers in Technology Mapping
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
Shashidhar Thakur, D. F. Wong, Shankar Krishnamoor...
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 10 months ago
Understanding particle swarms through simplification: a study of recombinant PSO
Simplified forms of the particle swarm algorithm are very beneficial in contributing to understanding of what makes a PSO swarm function in the way that it does. One of these form...
Daniel Bratton, Tim Blackwell