Sciweavers

20441 search results - page 111 / 4089
» Locally Computable Structures
Sort
View
147
Voted
CSB
2003
IEEE
16 years 21 days ago
Local Similarity in RNA Secondary Structures
Matthias Höchsmann, Thomas Töller, Rober...
93
Voted
ICRA
2003
IEEE
80views Robotics» more  ICRA 2003»
16 years 20 days ago
Vision-based localization of an underwater robot in a structured environment
Marc Carreras, Pere Ridao, Rafael García, T...
184
Voted
DATE
2010
IEEE
119views Hardware» more  DATE 2010»
16 years 15 days ago
Exploiting local logic structures to optimize multi-core SoC floorplanning
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...
Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni
165
Voted
CSL
2001
Springer
15 years 12 months ago
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang