Sciweavers

8760 search results - page 1394 / 1752
» Modeling users of intelligent systems
Sort
View
CIMCA
2008
IEEE
16 years 2 months ago
Connector-Driven Gradual and Dynamic Software Assembly Evolution
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
CICLING
2007
Springer
16 years 1 months ago
Expert vs. Non-expert Tutoring: Dialogue Moves, Interaction Patterns and Multi-utterance Turns
Abstract. Studies of one-on-one tutoring have found that expert tutoring is more effective than non-expert tutoring, but the reasons for its effectiveness are relatively unexplor...
Xin Lu, Barbara Di Eugenio, Trina C. Kershaw, Stel...
CP
2007
Springer
16 years 1 months ago
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...
CP
2007
Springer
16 years 1 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
ICARIS
2007
Springer
16 years 1 months ago
Towards a Novel Immune Inspired Approach to Temporal Anomaly Detection
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...
Thiago S. Guzella, Tomaz A. Mota-Santos, Walmir M....
« Prev « First page 1394 / 1752 Last » Next »