5810 search results - page 468 / 1162 » An Approach to Programming Based on Concepts |
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
141
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes a novel concept for the image based visual control, which is called the goal-oriented just-intime visual servoing. We apply this control to ball catching ta...
205
click to vote
GISCIENCE
2004
Springer
16 years 6 days ago
2004
Springer
This paper discusses the construction of a modeling approach for dynamic geospatial domains based on the concepts of object and event. The paper shows how such a model extends tra...
203
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
194
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we present a new approach for building RDF schemas by integrating existing ontologies and structured vocabularies (thesauri). We will present a simple mechanism base...