4738 search results - page 13 / 948 » Past, Present, and Future |
77
Voted
ACTA
2004
14 years 9 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
VR
2010
IEEE
14 years 7 months ago
2010
IEEE
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
Data stream methods look at each new item of the stream, perform a small number of operations while keeping a small amount of memory, and still perform muchneeded analyses. Howeve...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
SOSP
2005
ACM
15 years 6 months ago
2005
ACM