9821 search results - page 1662 / 1965 » A Framework for the Development of Protocols |
196
click to vote
PPDP
2004
Springer
16 years 3 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
165
click to vote
SBIA
2004
Springer
16 years 3 days ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
159
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
161
click to vote
SETA
2004
Springer
16 years 3 days ago
2004
Springer
A classical problem of digital sequence design, first studied in the 1950s but still not well understood, is to determine those binary sequences whose aperiodic autocorrelations ...
172
click to vote
SPATIALCOGNITION
2004
Springer
16 years 3 days ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...