Sciweavers

3392 search results - page 209 / 679
» Using Knowledge Representation to Understand Interactive Sys...
Sort
View
WSC
2008
15 years 6 months ago
Enhancing simulation as improvement and decision support system tool
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
Heriberto Garcia, Eduardo Garcia
IPM
2008
114views more  IPM 2008»
15 years 4 months ago
User-assisted query translation for interactive cross-language information retrieval
Interactive Cross-Language Information Retrieval (CLIR), a process in which searcher and system collaborate to find documents that satisfy an information need regardless of the la...
Douglas W. Oard, Daqing He, Jianqiang Wang
ICFEM
1998
Springer
15 years 7 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
HIS
2003
15 years 5 months ago
Design of Transparent Mamdani Fuzzy Inference Systems
: In this paper, we propose a technique to design Fuzzy Inference Systems (FIS) of Mamdani type with transparency constraints. The technique is based on our Crisp Double Clustering...
Giovanna Castellano, Anna Maria Fanelli, Corrado M...
EICS
2009
ACM
15 years 10 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur