Sciweavers

4524 search results - page 280 / 905
» The Complexity of Global Constraints
Sort
View
SIAMDM
2010
140views more  SIAMDM 2010»
15 years 5 months ago
Retractions to Pseudoforests
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops ...
Tomás Feder, Pavol Hell, Peter Jonsson, And...
ICDT
2005
ACM
133views Database» more  ICDT 2005»
16 years 9 days ago
Nonmaterialized Motion Information in Transport Networks
The traditional way of representing motion in 3D space-time uses a trajectory, i.e. a sequence of (x,y,t) points. Such a trajectory may be produced by periodic sampling of a Global...
Hu Cao, Ouri Wolfson
DELOS
2000
15 years 8 months ago
MARIAN Searching and Querying across Heterogeneous Federated Digital Libraries
: We explore the complex problem of providing searching services across interoperable heterogeneous federated digital library systems with rich structure and content. We discuss sy...
Marcos André Gonçalves, Robert K. Fr...
VMCAI
2010
Springer
16 years 4 months ago
Collections, Cardinalities, and Relations
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
163
Voted
DICTA
2003
15 years 8 months ago
The Parameterization of Joint Rotation with the Unit Quaternion
Abstract. Unit quaternion is an ideal parameterization for joint rotations. However, due to the complexity of the geometry of S3 group, it’s hard to specify meaningful joint cons...
Qiang Liu, Edmond C. Prakash