Sciweavers

2490 search results - page 279 / 498
» Complexity of Contextual Reasoning
Sort
View
AUSAI
2001
Springer
15 years 9 months ago
Actions Made Explicit in BDI
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
Vineet Padmanabhan, Guido Governatori, Abdul Satta...
UM
2001
Springer
15 years 9 months ago
Utility-Based Decision Tree Optimization: A Framework for Adaptive Interviewing
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
Markus Stolze, Michael Ströbel
126
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
136
Voted
CPE
2000
Springer
111views Hardware» more  CPE 2000»
15 years 9 months ago
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
In this paper we present a tool for the simulation of fluid models of high-speed telecommunication networks. The aim of such a simulator is to evaluate measures which can not be ...
José Incera, Raymond A. Marie, David Ros, G...
ICEIS
1999
IEEE
15 years 9 months ago
Facilitating Organisational Activities Using Plans and Audits
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
Carlos J. Costa, Tania Ho, Pedro Antunes