2483 search results - page 191 / 497 » A design framework to model retinas |
176
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
155
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...
189
click to vote
CSL
2011
Springer
15 years 1 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
175
click to vote
JVM
2004
15 years 8 months ago
2004
In this paper we establish a general framework for estimating the energy consumption of an embedded Java virtual machine (JVM). We have designed a number of experiments to find th...
161
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...