1894 search results - page 287 / 379 » A service-oriented approach for integrating multiagent syste... |
105
Voted
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
106
click to vote
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
We present a strategy for answering fact-based natural language questions that is guided by a characterization of realworld user queries. Our approach, implemented in a system cal...
135
Voted
MVA
2006
15 years 1 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
116
Voted
USS
2008
15 years 4 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
115
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
Collaborative and content-based filtering are two paradigms that have been applied in the context of recommender systems and user preference prediction. This paper proposes a nove...