12981 search results - page 2555 / 2597 » Model Checking (Abstract) |
107
click to vote
DAWAK
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Data mining is an iterative process. Users issue series of similar data mining queries, in each consecutive run slightly modifying either the definition of the mined dat...
100
click to vote
MIR
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
101
click to vote
CSCLP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we describe a study that explored the implications of the Social Translucence framework for designing systems that support communications at work. Two systems design...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...