Sciweavers

1874 search results - page 151 / 375
» Abstract Machine for LDL
Sort
View
EWRL
2008
15 years 5 months ago
Markov Decision Processes with Arbitrary Reward Processes
Abstract. We consider a control problem where the decision maker interacts with a standard Markov decision process with the exception that the reward functions vary arbitrarily ove...
Jia Yuan Yu, Shie Mannor, Nahum Shimkin
PTS
2007
99views Hardware» more  PTS 2007»
15 years 4 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
114
Voted
PTS
2007
97views Hardware» more  PTS 2007»
15 years 4 months ago
Learning and Integration of Parameterized Components Through Testing
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
EMNLP
2006
15 years 4 months ago
Automatic Construction of Predicate-argument Structure Patterns for Biomedical Information Extraction
This paper presents a method of automatically constructing information extraction patterns on predicate-argument structures (PASs) obtained by full parsing from a smaller training...
Akane Yakushiji, Yusuke Miyao, Tomoko Ohta, Yuka T...
DAGSTUHL
1994
15 years 4 months ago
The Rampart Toolkit for Building High-Integrity Services
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
Michael K. Reiter