4924 search results - page 816 / 985 » A Software System for Spatial Data Analysis and Modeling |
292
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
167
click to vote
SAC
2006
ACM
16 years 11 days ago
2006
ACM
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
161
click to vote
JSS
2010
15 years 4 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
154
click to vote
LREC
2010
15 years 7 months ago
2010
Without any doubt corpora are vital tools for linguistic studies and solution for applied tasks. Although corpora opportunities are very useful, there is a need of another kind of...
147
click to vote
ICDE
2006
IEEE
16 years 14 days ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...