12774 search results - page 2354 / 2555 » A Framework for Proof Systems |
177
click to vote
JAPLL
2010
15 years 5 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
146
click to vote
JCC
2010
15 years 5 months ago
2010
The assumption that crystal contacts reflect natural macromolecular interactions makes a basis for many studies in structural biology. However, the crystal state may correspond t...
174
click to vote
JIDM
2010
15 years 5 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
176
click to vote
JTAER
2010
15 years 5 months ago
2010
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
154
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...