3552 search results - page 562 / 711 » Proof theory in the abstract |
191
click to vote
DAGM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
164
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
190
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
ended abstract looks forward at which shared concepts and approaches are shaping future research in the field of location privacy, as well as reflecting on the broader achievement...
185
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
189
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In its core, the Semantic Web is about the creation, collection and interlinking of metadata on which agents can perform tasks for human users. While many tools and appro...