7047 search results - page 391 / 1410 » Focusing on Binding and Computation |
210
click to vote
CASC
2009
Springer
15 years 8 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
174
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. T...
144
click to vote
DLOG
2009
15 years 8 months ago
2009
Abstract There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the modu...
144
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
The development of real-time image quality assessment algorithms is an important direction on which little research has focused. This paper presents a design of real-time implemen...
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...