Sciweavers

1119 search results - page 117 / 224
» On the Invariance of Ant System
Sort
View
ISCAS
2011
IEEE
194views Hardware» more  ISCAS 2011»
14 years 1 months ago
Bifurcation and basin in two coupled parametrically forced logistic maps
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...
Hironori Kumeno, Yoshifumi Nishio, Daniele Fournie...
OSDI
2006
ACM
15 years 10 months ago
Type-Safe Disks
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
Gopalan Sivathanu, Swaminathan Sundararaman, Erez ...
TOPLAS
2010
115views more  TOPLAS 2010»
14 years 8 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...
CVPR
2008
IEEE
16 years 23 days ago
Accurate Eye Center Location and Tracking Using Isophote Curvature
The ubiquitous application of eye tracking is precluded by the requirement of dedicated and expensive hardware, such as infrared high definition cameras. Therefore, systems based s...
Roberto Valenti, Theo Gevers
PAMI
2007
193views more  PAMI 2007»
14 years 9 months ago
Robust Object Recognition with Cortex-Like Mechanisms
—We introduce a new general framework for the recognition of complex visual scenes, which is motivated by biology: We describe a hierarchical system that closely follows the orga...
Thomas Serre, Lior Wolf, Stanley M. Bileschi, Maxi...