Sciweavers

3856 search results - page 167 / 772
» Models for Automated Earthmoving
Sort
View
DLOG
2010
15 years 4 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
ACL
2009
15 years 4 months ago
Query-Focused Summaries or Query-Biased Summaries?
In the context of the Document Understanding Conferences, the task of Query-Focused Multi-Document Summarization is intended to improve agreement in content among humangenerated m...
Rahul Katragadda, Vasudeva Varma
IGARSS
2009
15 years 4 months ago
Spatially Adaptive Classification of Hyperspectral Data with Gaussian Processes
Automated classification of land cover types based on hyperspectral imagery often involves a large geographical area, but class labels are available for only small portions of the...
Goo Jun, Joydeep Ghosh
ECSQARU
2001
Springer
15 years 10 months ago
Caveats for Causal Reasoning with Equilibrium Models
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
Denver Dash, Marek J. Druzdzel
DLOG
2009
15 years 4 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...