1397 search results - page 104 / 280 » On the Need for Practical Formal Methods |
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
In most practical situations, agents need to continuously improve or repair their plans. In a multiagent system agents also need to coordinate their plans. Consequently, we need me...
ICDAR
1995
IEEE
14 years 1 months ago
1995
IEEE
There is an increasingly pressing need to develop document analysis methods that are able to cope with images of documents containing printed regions of complex shapes. Contrary t...
DIS
2009
Springer
14 years 4 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
ACSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Role hierarchies are fundamental to the role based access control (RBAC) model. The notion of role hierarchy is a well understood concept that allows senior roles to inherit the p...
AIME
2005
Springer
14 years 3 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...