Sciweavers

2317 search results - page 413 / 464
» Model based testing for agent systems
Sort
View
ATAL
2007
Springer
15 years 4 months ago
On opportunistic techniques for solving decentralized Markov decision processes with temporal constraints
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
Janusz Marecki, Milind Tambe
AIME
2009
Springer
15 years 4 months ago
An Ontology for the Care of the Elder at Home
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
David Riaño, Francis Real, Fabio Campana, S...
LREC
2008
118views Education» more  LREC 2008»
14 years 11 months ago
FATE: a FrameNet-Annotated Corpus for Textual Entailment
Several studies indicate that the level of predicate-argument structure is relevant for modeling prevalent phenomena in current textual entailment corpora. Although large resource...
Aljoscha Burchardt, Marco Pennacchiotti
FLAIRS
2006
14 years 11 months ago
Focusing Strategies for Multiple Fault Diagnosis
Diagnosing multiple faults for a complex system is often very difficult. It requires not only a model which adequately represents the diagnostic aspect of a complex system, but al...
Tsai-Ching Lu, K. Wojtek Przytula
ICASSP
2011
IEEE
14 years 1 months ago
Sparse coding of auditory features for machine hearing in interference
A key problem in using the output of an auditory model as the input to a machine-learning system in a machine-hearing application is to find a good feature-extraction layer. For ...
Richard F. Lyon, Jay Ponte, Gal Chechik