Sciweavers

5409 search results - page 386 / 1082
» Basic Observables for Processes
Sort
View
ICRA
2007
IEEE
117views Robotics» more  ICRA 2007»
16 years 1 months ago
Techniques and Applications for Persistent Backgrounding in a Humanoid Torso Robot
— One of the most basic capabilities for an agent with a vision system is to recognize its own surroundings. Yet surprisingly, despite the ease of doing so, many robots store lit...
David Walker Duhon, Jerod J. Weinman, Erik G. Lear...
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
16 years 1 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
ISVLSI
2007
IEEE
151views VLSI» more  ISVLSI 2007»
16 years 1 months ago
Design of a MCML Gate Library Applying Multiobjective Optimization
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
Roberto Pereira-Arroyo, Pablo Alvarado-Moya, Wolfg...
ACCV
2007
Springer
16 years 1 months ago
Multi-posture Human Detection in Video Frames by Motion Contour Matching
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
Qixiang Ye, Jianbin Jiao, Hua Yu
AOSE
2007
Springer
16 years 1 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...