1581 search results - page 211 / 317 » Mechanizing Inductive Reasoning |
131
click to vote
EUROSSC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
127
click to vote
APCCM
2010
15 years 4 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
ECIR
2010
Springer
15 years 4 months ago
2010
Springer
Spatial diversity is a relatively new branch of research in the context of spatial information retrieval. Although the assumption that spatially diversified results may meet users&...
135
click to vote
OWLED
2008
15 years 4 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
104
click to vote
OWLED
2008
15 years 4 months ago
2008
: One of users' most frequent questions about OWL is "how do I say `may'?", as in "Bacteria may cause pneumonia." In many fields, particularly biomedi...