Sciweavers

11722 search results - page 475 / 2345
» How Developers Develop Features
Sort
View
JAIR
2007
127views more  JAIR 2007»
15 years 7 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
CSCW
2002
ACM
15 years 7 months ago
Creating assemblies: : aboard the Ghost Ship
This paper examines the use of an interactive artwork that was designed by members of the research team and exhibited at the Sculpture, Objects and Functional Art (SOFA) Expositio...
Jon Hindmarsh, Christian Heath, Dirk vom Lehn, Jas...
ER
2010
Springer
146views Database» more  ER 2010»
15 years 6 months ago
Data Modeling Is Important for SOA
The promise of SOA is being held back by a lack of rigor with XSD interchange files. Many developers focus on the design of individual services and pay little attention to how the ...
Michael R. Blaha
UTP
2010
15 years 6 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 5 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya