7820 search results - page 364 / 1564 » Formalization of Time and Space |
215
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
191
click to vote
DGO
2003
15 years 9 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
226
Voted
PERCOM
2010
ACM
15 years 6 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
183
click to vote
DATE
2003
IEEE
16 years 26 days ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
179
click to vote
IJCAI
1993
15 years 9 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...