Sciweavers

11168 search results - page 188 / 2234
» Abstract State Processes
Sort
View
JOT
2008
75views more  JOT 2008»
15 years 6 months ago
IBM Rational Unified Process Reference and Certification Guide Solution Designer
evate the level of abstraction
Charles Ashbacher
IJCAI
1989
15 years 7 months ago
Induction in an Abstraction Space: A Form of Constructive Induction
N IN AN ABSTRACTION SPACE: A Form of Constructive Induction George Drastal and Gabor Czako Siemens Research and Technology Laboratories 755 College Rd Princeton, NJ 08540 We repor...
George Drastal, Gabor Czako, Stan Raatz
ACCV
2010
Springer
15 years 1 months ago
Spatiotemporal Contour Grouping Using Abstract Part Models
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
Pablo Sala, Diego Macrini, Sven J. Dickinson
171
Voted
ENTCS
2008
110views more  ENTCS 2008»
15 years 6 months ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
IJCAI
2003
15 years 7 months ago
A Planning Algorithm for Predictive State Representations
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
Masoumeh T. Izadi, Doina Precup