497 search results - page 12 / 100 » On combinations of local theory extensions |
119
click to vote
ECCV
2006
Springer
15 years 3 months ago
2006
Springer
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
CADE
2004
Springer
15 years 5 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
163
click to vote
GLOBAL
2003
Springer
15 years 4 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
115
click to vote
JMLR
2008
14 years 11 months ago
2008
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
112
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...