2123 search results - page 327 / 425 » The study of models of intelligent interfaces |
181
click to vote
ICARIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this conceptual paper, we report on studies and initial definitions of an immune-inspired approach to temporal anomaly detection problems, where there is a strict temp...
179
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
175
click to vote
PRIMA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
181
click to vote
CSCLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
176
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...