1788 search results - page 279 / 358 » Model Theory for Process Algebra |
110
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
135
click to vote
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
125
click to vote
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
A set of jobs need to be served by a single server which can serve only one job at a time. Jobs have processing times and incur waiting costs (linear in their waiting time). The j...
131
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
152
click to vote
IJCAI
1997
15 years 5 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...