7820 search results - page 130 / 1564 » Formalization of Time and Space |
170
Voted
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
221
Voted
SPATIALCOGNITION
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
150
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
`Linguistic annotation' covers any descriptive or analytic notations applied to raw language data. The basic data may be in the form of time functions
161
click to vote
SIGADA
2005
Springer
16 years 13 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
198
Voted
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...