5608 search results - page 498 / 1122 » Structure description tools |
169
click to vote
JSC
2000
15 years 6 months ago
2000
The orbits of a minimal parabolic k-subgroup acting on a symmetric k-variety are essential to the study of symmetric k-varieties and their representations. This paper gives an algo...
204
click to vote
TIP
2002
15 years 6 months ago
2002
Local curvature represents an important shape parameter of space curves which are well described by differential geometry. We have developed an estimator for local curvature of spa...
191
click to vote
TSE
2010
15 years 5 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
191
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
289
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
We study the problem of querying relational data embedded in XML. Relational data can be represented by various tree structures in XML. However, current XML query methods, such as...