Sciweavers

3161 search results - page 222 / 633
» A Discourse on Complexity of Process Models
Sort
View
EDOC
2000
IEEE
15 years 8 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
EWRL
2008
15 years 5 months ago
Efficient Reinforcement Learning in Parameterized Models: Discrete Parameter Case
We consider reinforcement learning in the parameterized setup, where the model is known to belong to a parameterized family of Markov Decision Processes (MDPs). We further impose ...
Kirill Dyagilev, Shie Mannor, Nahum Shimkin
ACL
2000
15 years 5 months ago
A Unified Statistical Model for the Identification of English BaseNP
This paper presents a novel statistical model for automatic identification of English baseNP. It uses two steps: the Nbest Part-Of-Speech (POS) tagging and baseNP identification g...
Endong Xun, Changning Huang, Ming Zhou
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
15 years 10 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...
IJCNN
2007
IEEE
15 years 10 months ago
Integrating a Flexible Representation Machinery in a Model of Human Concept Learning
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
Toshihiko Matsuka, Yasuaki Sakamoto