376 search results - page 28 / 76 » Constraint modules: An introduction |
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
Abstract— Power consumption has become a crucial problem in modern circuit design. Multiple Supply Voltage (MSV) design is introduced to provide higher flexibility in controllin...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
This paper proposes Noise-Direct, a design methodology for power integrity aware floorplanning, using microarchitectural feedback to guide module placement. Stringent power constr...
IJISTA
2008
13 years 10 months ago
2008
: We present techniques for computing 3D velocity fields from range data acquired with cameras working on the principles of modulation based Time-Of-Flight measurement. We derive a...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...