Sciweavers

2834 search results - page 252 / 567
» Representing Trees with Constraints
Sort
View
107
Voted
VC
2008
103views more  VC 2008»
15 years 21 days ago
Continuous collision detection for adaptive simulation of articulated bodies
We perform continuous collision detection (CCD) for articulated bodies where motion is governed by an adaptive dynamics simulation. Our algorithm is based on a novel hierarchical s...
Sujeong Kim, Stephane Redon, Young J. Kim
97
Voted
IJDAR
2002
87views more  IJDAR 2002»
15 years 15 days ago
A hierarchical representation of form documents for identification and retrieval
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
Pinar Duygulu, Volkan Atalay
135
Voted
AMAST
2010
Springer
14 years 7 months ago
A Complete Declarative Debugger for Maude
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
224
Voted
ESA
2011
Springer
269views Algorithms» more  ESA 2011»
14 years 17 days ago
Alphabet-Independent Compressed Text Indexing
Self-indexes can represent a text in asymptotically optimal space under the k-th order entropy model, give access to text substrings, and support indexed pattern searches. Their ti...
Djamal Belazzougui, Gonzalo Navarro
96
Voted
VL
2003
IEEE
139views Visual Languages» more  VL 2003»
15 years 6 months ago
Visualizing design patterns with a UML profile
In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tag...
Jing Dong, Sheng Yang