378 search results - page 41 / 76 » Automating Coinduction with Case Analysis |
DEON
2006
Springer
14 years 2 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
AIME
2009
Springer
14 years 2 days ago
2009
Springer
Abstract The volume and complexity of knowledge produced by medical research calls for the development of technology for automated management and analysis of such knowledge. In thi...
GIS
2006
ACM
13 years 11 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
GIS
2000
ACM
13 years 10 months ago
2000
ACM
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...
MIA
2011
13 years 1 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...