4738 search results - page 24 / 948 » Past, Present, and Future |
AI
2005
Springer
14 years 9 months ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
This paper presents a thorough evaluation of CS for Scientists, a CS 1 course designed to provide future scientists with an overview of the discipline. The course takes a breadth-...
SMC
2010
IEEE
14 years 8 months ago
2010
IEEE
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
WETICE
2009
IEEE
15 years 4 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...