Sciweavers

4480 search results - page 593 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
ISCAS
2008
IEEE
110views Hardware» more  ISCAS 2008»
16 years 1 months ago
An energy-detector for non-coherent impulse-radio UWB receivers
—An energy detector designed in a 0.18μm CMOS technology and intended for a non-coherent impulse-radio UWB receiver is presented in this paper. The proposed circuit exploits the...
Andrea Gerosa, Maurizio Dalla Costa, Andrea Bevila...
IEAAIE
2005
Springer
16 years 3 days ago
Agent Support for a Grid-Based High Energy Physics Application
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
Aman Sahani, Ian D. Mathieson, Lin Padgham
VMV
2001
178views Visualization» more  VMV 2001»
15 years 8 months ago
Consistent Visual Information Processing Applied to Object Recognition Landmark Definition and Real-Time Tracking
The handling of situations where multiple visual information occurs requires the fusion of visual information. This is a very common task found in the processing of multisource / ...
Axel Pinz
ICRA
2000
IEEE
165views Robotics» more  ICRA 2000»
15 years 11 months ago
An Approach to Rapid Manufacturing with Custom Fixturing
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...
Mark Bloomenthal, Richard F. Riesenfeld, Elaine Co...
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 1 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux