3674 search results - page 523 / 735 » Information Dependencies |
161
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
174
click to vote
CICLING
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
181
click to vote
CIS
2007
Springer
16 years 23 days ago
2007
Springer
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...
157
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
158
click to vote
DAWAK
2007
Springer
16 years 23 days ago
2007
Springer
Many studies of spatiotemporal pattern discovery partition data space into disjoint cells for effective processing. However, the discovery accuracy of the space-partitioning schem...