Sciweavers

1626 search results - page 206 / 326
» The method evaluation model: a theoretical model for validat...
Sort
View
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
14 years 1 months ago
Planning and Control of Mobile Robots in Image Space from Overhead Cameras
— In this work, we present a framework for the development of a planar mobile robot controller based on image plane feedback. We show that the design of such a motion controller ...
Rahul Rao, Vijay Kumar, Camillo J. Taylor
ATAL
2006
Springer
13 years 11 months ago
A utility-based sensing and communication model for a glacial sensor network
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
Paritosh Padhy, Rajdeep K. Dash, Kirk Martinez, Ni...
ISCA
2003
IEEE
168views Hardware» more  ISCA 2003»
14 years 1 months ago
Temperature-Aware Microarchitecture
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
Kevin Skadron, Mircea R. Stan, Wei Huang, Sivakuma...
BMCBI
2007
145views more  BMCBI 2007»
13 years 8 months ago
Improved benchmarks for computational motif discovery
Background: An important step in annotation of sequenced genomes is the identification of transcription factor binding sites. More than a hundred different computational methods h...
Geir Kjetil Sandve, Osman Abul, Vegard Walseng, Fi...
FTCS
1998
114views more  FTCS 1998»
13 years 9 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...