124 search results - page 22 / 25 » Relational Parametricity and Units of Measure |
SDM
2009
SIAM
14 years 7 months ago
2009
SIAM
Large amounts of remotely sensed data calls for data mining techniques to fully utilize their rich information content. In this paper, we study new means of discovery and summariz...
Publication
People travel between places of residence and work destinations via transportation net-
works. The relation between selection of home and work locations has been heavily
debated ...
WACV
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
NMR
2004
Springer
14 years 3 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper describes in details the first version of Morphonette, a new French morphological resource and a new radically lexeme-based method of morphological analysis. This resea...