7430 search results - page 742 / 1486 » Programming Applications in CIFF |
187
click to vote
CCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
206
click to vote
ERSHOV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
198
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...
211
click to vote
LSSC
2007
Springer
16 years 1 months ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
193
click to vote
BTW
2005
Springer
16 years 1 months ago
2005
Springer
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...