1636 search results - page 223 / 328 » Reasoning About Quantum Systems |
167
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...
171
click to vote
ERSHOV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
171
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
177
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
166
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...