895 search results - page 66 / 179 » A Spectrum of Applications of Automated Reasoning |
137
click to vote
GIS
2009
ACM
15 years 7 months ago
2009
ACM
In an active WSN where user queries are regularly processed, a significant proportion of nodes relay and overhear data generated by other nodes in the network. In this paper, we ...
147
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
136
Voted
GIS
2008
ACM
15 years 5 months ago
2008
ACM
Open Digital Rights Language (ODRL) is an extensible language for specifying Rights Policy in the context of Digital Rights Management (DRM) applications. The OpenGIS® Web Map Se...
126
Voted
CL
2006
Springer
15 years 4 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
159
click to vote
CSL
2004
Springer
15 years 4 months ago
2004
Springer
This paper explores factors correlating with lack of inter-annotator agreement on a word sense disambiguation (WSD) task taken from SENSEVAL-2. Twenty-seven subjects were given a ...