256 search results - page 15 / 52 » Computing by Observing Bio-systems: The Case of Sticker Syst... |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
AI
2006
Springer
14 years 5 days ago
2006
Springer
Real world multiagent coordination problems are important issues for reinforcement learning techniques. In general, these problems are partially observable and this characteristic ...
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
Hidden information is a critical issue for the successful delivery of SLAs in grid systems. It arises when the agents (hardware and software resources) employed to serve a task be...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
Natural images are highly structured in their spatial configuration. Where one would expect a different spatial distribution for every image, as each image has a different spatial...
DCC
2008
IEEE
14 years 8 months ago
2008
IEEE
A system of algebraic equations over a finite field is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an unde...