Sciweavers

1384 search results - page 26 / 277
» Physical limits of inference
Sort
View
ARC
2006
Springer
115views Hardware» more  ARC 2006»
15 years 1 months ago
Providing QoS Guarantees in a NoC by Virtual Channel Reservation
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
Nikolay Kavaldjiev, Gerard J. M. Smit, Pascal T. W...
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 3 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
60
Voted
SCALESPACE
2007
Springer
15 years 3 months ago
Modeling Foveal Vision
A geometric model is proposed for an artificial foveal vision system, and its plausibility in the context of biological vision is explored. The model is based on an isotropic, sca...
Luc Florack
SYNTHESE
2010
133views more  SYNTHESE 2010»
14 years 4 months ago
Dynamic logics of knowledge and access
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
Tomohiro Hoshi, Eric Pacuit
74
Voted
CHI
2009
ACM
15 years 10 months ago
Providing dynamically changeable physical buttons on a visual display
Physical buttons have the unique ability to provide lowattention and vision-free interactions through their intuitive tactile clues. Unfortunately, the physicality of these interf...
Chris Harrison, Scott E. Hudson