Sciweavers

3973 search results - page 653 / 795
» Complex adaptation and system structure
Sort
View
BC
2005
78views more  BC 2005»
15 years 6 months ago
Velocity constancy and models for wide-field visual motion detection in insects
The tangential neurons in the lobula plate region of the flies are known to respond to visual motion across broad receptive fields in visual space. When intracellular recordings ar...
Patrick A. Shoemaker, David C. O'Carroll, A. D. St...
JIIS
2002
99views more  JIIS 2002»
15 years 6 months ago
Efficient Management of Persistent Knowledge
Although computer speed has steadily increased and memory is getting cheaper, the need for storage managers to deal efficiently with applications that cannot be held into main memo...
Dimitris G. Kapopoulos, Michael Hatzopoulos, Panag...
IEEECIT
2010
IEEE
15 years 4 months ago
Superblock-Based Source Code Optimizations for WCET Reduction
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
Paul Lokuciejewski, Timon Kelter, Peter Marwedel
IJSR
2010
169views more  IJSR 2010»
15 years 4 months ago
A Component-Based Approach to Visual Person Tracking from a Mobile Platform
Abstract In this article, we present a component-based visual tracker for mobile platforms with an application to person tracking. The core of the technique is a componentbased des...
Simone Frintrop, Achim Königs, Frank Hoeller,...
SCP
2011
255views Communications» more  SCP 2011»
15 years 1 months ago
Map fusion for nested datatypes in intensional type theory
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
Ralph Matthes