Sciweavers

1396 search results - page 198 / 280
» Succinct Dynamic Data Structures
Sort
View
ICIP
2009
IEEE
16 years 2 months ago
Corner-based Background Segmentation Using Adaptive Resonance Theory
A correct video segmentation, namely the detection of moving objects within a scene plays a very important role in many application in safety, surveillance, trafic monitoring and ...
ICCD
2005
IEEE
109views Hardware» more  ICCD 2005»
15 years 10 months ago
Reducing the Energy of Speculative Instruction Schedulers
Energy dissipation from the issue queue and register file constitutes a large portion of the overall energy budget of an aggressive dynamically scheduled microprocessor. We propo...
Yongxiang Liu, Gokhan Memik, Glenn Reinman
IROS
2009
IEEE
150views Robotics» more  IROS 2009»
15 years 8 months ago
Biorobotic fins for investigations of fish locomotion
Abstract—Experimental analyses of propulsion in freelyswimming fishes have led to the development of self-propelling pectoral and caudal fin robotic devices. These biorobotic mod...
James L. Tangorra, Christopher J. Esposito, George...
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
15 years 7 months ago
Proving Termination of Tree Manipulating Programs
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tom&...
BIOWIRE
2007
Springer
15 years 7 months ago
Field-Based Coordination for Pervasive Computing Applications
Emerging pervasive computing technologies such as sensor networks and RFID tags can be embedded in our everyday environment to digitally store and elaborate a variety of informatio...
Marco Mamei, Franco Zambonelli