Sciweavers

2128 search results - page 79 / 426
» A general characterization of indulgence
Sort
View
99
Voted
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
15 years 7 months ago
Area-constrained coverage optimization by robotic sensor networks
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...
Jorge Cortés
184
Voted

Book
2911views
16 years 11 months ago
Shape Analysis and Classification: Theory and Practice
"Advances in shape analysis impact a wide range of disciplines, from mathematics and engineering to medicine, archeology, and art. Anyone just entering the field, however, may...
Roberto M. Cesar Jr
99
Voted
GLVLSI
2005
IEEE
122views VLSI» more  GLVLSI 2005»
15 years 6 months ago
Thermal aware cell-based full-chip electromigration reliability analysis
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
Syed M. Alam, Donald E. Troxel, Carl V. Thompson
73
Voted
CVPR
2010
IEEE
15 years 9 months ago
Admissible Linear Map Models of Linear Cameras
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
Guillaume Batog, Xavier Goaoc, Jean Ponce
128
Voted
LFCS
2009
Springer
15 years 7 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky