4573 search results - page 355 / 915 » Automated Reasoning |
153
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
This paper outlines a vision for community-driven sensing of our environment. At its core, community sensing is a dynamic new form of mobile geosensor network. We believe that com...
195
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
220
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
181
click to vote
DLOG
2009
15 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
197
click to vote
DLOG
2011
14 years 10 months ago
2011
Abstract. In this paper, we introduce a paraconsistent extension of Rough Description Logics which allows the representation of incomplete and contradictory concepts, as well as th...