Sciweavers

1745 search results - page 110 / 349
» A Context-Based Model of Attention
Sort
View
DIMACS
1996
13 years 11 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
BIOSYSTEMS
2008
146views more  BIOSYSTEMS 2008»
13 years 10 months ago
The autonomy of biological individuals and artificial models
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
Alvaro Moreno, Arantza Etxeberria, Jon Umerez
COGSCI
2002
71views more  COGSCI 2002»
13 years 10 months ago
Spanning seven orders of magnitude: a challenge for cognitive modeling
Much of cognitive psychology focuses on effects measured in tens of milliseconds while significant educational outcomes take tens of hours to achieve. The task of bridging this ga...
John R. Anderson
CCIW
2011
Springer
13 years 1 months ago
On the Application of Structured Sparse Model Selection to JPEG Compressed Images
The representation model that considers an image as a sparse linear combination of few atoms of a predefined or learned dictionary has received considerable attention in recent ye...
Giovanni Maria Farinella, Sebastiano Battiato
COMSUR
2011
203views Hardware» more  COMSUR 2011»
12 years 10 months ago
Overcoming Adversaries in Sensor Networks: A Survey of Theoretical Models and Algorithmic Approaches for Tolerating Malicious In
Interference is an unavoidable property of the wireless communication medium and, in sensor networks, such interference is exacerbated due to the energy-starved nature of the netw...
Maxwell Young, Raouf Boutaba