Sciweavers

2128 search results - page 79 / 426
» A general characterization of indulgence
Sort
View
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
15 years 11 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

Book
2911views
17 years 3 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
GLVLSI
2005
IEEE
122views VLSI» more  GLVLSI 2005»
15 years 10 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
CVPR
2010
IEEE
16 years 26 days 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
LFCS
2009
Springer
15 years 11 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