Sciweavers

10790 search results - page 224 / 2158
» Using feature models to automate model transformations
Sort
View
SEFM
2009
IEEE
16 years 1 months ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio
157
Voted
TREC
2003
15 years 8 months ago
HARD Experiment at Maryland: From Need Negotiation to Automated HARD Process
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
Daqing He, Dina Demner-Fushman
ATAL
2006
Springer
15 years 10 months ago
Action awareness: enabling agents to optimize, transform, and coordinate plans
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
Freek Stulp, Michael Beetz
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
ICASSP
2009
IEEE
16 years 1 months ago
Modeling instantaneous intonation for speaker identification using the fundamental frequency variation spectrum
In recent years, the field of automatic speaker identification has begun to exploit high-level sources of speaker-discriminative information, in addition to traditional models o...
Kornel Laskowski, Qin Jin