1022 search results - page 147 / 205 » Stable models and circumscription |
WER
2007
Springer
14 years 4 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...
ECAL
2005
Springer
14 years 3 months ago
2005
Springer
Niche construction is the process whereby organisms, through their metabolism, activities, and choices, modify their own and/or each other’s niches. Our purpose is to clarify the...
SCALESPACE
2005
Springer
14 years 3 months ago
2005
Springer
Level-Set methods have been successfully applied to 2D and 3D boundary detection problems. The geodesic active contour model has been particularly successful. Several algorithms fo...
PODC
2004
ACM
14 years 3 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...