7820 search results - page 233 / 1564 » Formalization of Time and Space |
181
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
207
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
223
click to vote
ICDE
2011
IEEE
14 years 11 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
221
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...
190
click to vote
VIS
2009
IEEE
16 years 8 months ago
2009
IEEE
We develop a new algorithm for isosurface extraction and view-dependent filtering from large time-varying fields, by using a novel Persistent Time-Octree (PTOT) indexing structure....