3047 search results - page 119 / 610 » A Temporal Consensus Model |
113
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
153
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
169
click to vote
PPSWR
2005
Springer
15 years 10 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
160
click to vote
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
In a temporal OODB, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal OODB, the OIDX should also index the objec...
148
Voted
AAAI
2007
15 years 7 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...