1693 search results - page 136 / 339 » Some Results on the Modelling of Spatial Data |
144
click to vote
METRICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
161
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
144
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Rate adaptation, as a challenging issue for wireless purpose. Relatively little attention has been paid on identifying network design, has been an active research topic for year...
153
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
A linear, discriminative, supervised technique for reducing feature vectors extracted from image data to a lower-dimensional representation is proposed. It is derived from classica...
161
click to vote
ALT
1998
Springer
15 years 9 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...