10038 search results - page 1623 / 2008 » Model Checking for Managers |
129
click to vote
WEBNET
2000
15 years 8 months ago
2000
: In this paper, we will discuss the problem of proposing links for hypertexts based on Case-Based Reasoning (CBR) techniques. These proposals can be used in addition to traditiona...
162
click to vote
ECSCW
1993
15 years 8 months ago
1993
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
196
click to vote
MVA
1996
15 years 8 months ago
1996
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
164
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—We are interested in the problem of multiagent systems development for risk detecting and emergency response in an uncertain and partially perceived environment. The eva...
164
click to vote
WCE
2007
15 years 7 months ago
2007
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...