592 search results - page 72 / 119 » Refining Goal Models by Evaluating System Behaviour |
140
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
On the Semantic Web, decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources...
133
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe the AMIDA speaker dizarization system as it was submitted to the NIST Rich Transcription evaluation 2007 for conference room data. This is done in the con...
148
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
139
click to vote
DASFAA
2003
IEEE
15 years 9 months ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
165
click to vote
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...