Sciweavers

3172 search results - page 559 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
UAI
1998
15 years 7 months ago
Structured Reachability Analysis for Markov Decision Processes
Recent research in decision theoretic planning has focussedon making the solution of Markov decision processes (MDPs) more feasible. We develop a family of algorithms for structur...
Craig Boutilier, Ronen I. Brafman, Christopher W. ...
RIAO
2000
15 years 7 months ago
The Visual Book and the Hyper-TextBook: Two Electronic Books One Lesson?
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...
Monica Landoni, Fabio Crestani, Massimo Melucci
WSC
1998
15 years 7 months ago
Effective Simulation Model Reuse: a case study for AMHS modeling
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
Gerald T. Mackulak, Frederick P. Lawrence, Theron ...
ROOM
2000
15 years 7 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
WEBNET
2000
15 years 7 months ago
Conventions for Knowledge Representation via RDF
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
Philippe Martin, Peter W. Eklund