Sciweavers

5977 search results - page 699 / 1196
» Hierarchical Performance Modeling for Distributed System Arc...
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
A spatio-temporal model of the selective human visual attention
A new spatio-temporal model for simulating the bottomup visual attention is proposed. It has been built from numerous important properties of the Human Visual System (HVS). This p...
Olivier Le Meur, Dominique Thoreau, Patrick Le Cal...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 1 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
CONNECTION
2006
101views more  CONNECTION 2006»
15 years 7 months ago
High capacity, small world associative memory models
Models of associative memory usually have full connectivity or if diluted, random symmetric connectivity. In contrast, biological neural systems have predominantly local, non-symm...
Neil Davey, Lee Calcraft, Rod Adams
DAGSTUHL
1997
15 years 8 months ago
Fast and Accurate Collision Detection for Virtual Environments
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
Ming C. Lin
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
16 years 1 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz