2777 search results - page 451 / 556 » Example centric programming |
139
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
In this work we present a methodology for intelligent path planning in an uncertain environment using vision like sensors, i.e., sensors that allow the sensing of the environment ...
107
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
151
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
ECCC
2010
15 years 2 months ago
2010
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree pol...
114
click to vote
CAD
2006
Springer
15 years 2 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...