Sciweavers

2962 search results - page 325 / 593
» Optimizing Spatial Data Structures For Static Data
Sort
View
GRAPHICSINTERFACE
2003
15 years 8 months ago
CInDeR: Collision and Interference Detection in Real-time using graphics hardware
Collision detection is a vital task in almost all forms of computer animation and physical simulation. It is also one of the most computationally expensive, and therefore a freque...
Dave Knott, Dinesh K. Pai
BIS
2009
131views Business» more  BIS 2009»
15 years 7 months ago
Organisational Ontology Framework for Semantic Business Process Management
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
Agata Filipowska, Martin Hepp, Monika Kaczmarek, I...
JSAT
2008
57views more  JSAT 2008»
15 years 6 months ago
tts: A SAT-Solver for Small, Difficult Instances
The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a st...
Ivor Spence
IPL
2010
71views more  IPL 2010»
15 years 5 months ago
New common ancestor problems in trees and directed acyclic graphs
We derive a new generalization of lowest common ancestors (LCAs) in dags, called the lowest single common ancestor (LSCA). We show how to preprocess a static dag in linear time su...
Johannes Fischer, Daniel H. Huson
POPL
2011
ACM
14 years 9 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken