Sciweavers

2969 search results - page 43 / 594
» A space efficient algorithm for group structure computation
Sort
View
SODA
2010
ACM
214views Algorithms» more  SODA 2010»
16 years 13 days ago
A Fourier space algorithm for solving quadratic assignment problems
The quadratic assignment problem (QAP) is a central problem in combinatorial optimization. Several famous computationally hard tasks, such as graph matching, partitioning, and the...
Risi Kondor
CVPR
2000
IEEE
16 years 5 months ago
A Linear Algorithm for Camera Self-Calibration, Motion and Structure Recovery for Multi-Planar Scenes from Two Perspective Image
In this paper we show that given two homography matrices for two planes in space, there is a linear algorithm for the rotation and translation between the two cameras, the focal l...
Gang Xu, Jun-ichi Terai, Heung-Yeung Shum
ICCAD
2010
IEEE
186views Hardware» more  ICCAD 2010»
15 years 1 months ago
Efficient state space exploration: Interleaving stateless and state-based model checking
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
Malay K. Ganai, Chao Wang, Weihong Li
ISCC
2002
IEEE
131views Communications» more  ISCC 2002»
15 years 8 months ago
Scheduling real time parallel structure on cluster computing
: - Efficient task scheduling is essential for achieving high performance computing applications for distributed systems. Most of existing real-time systems consider schedulability...
Reda A. Ammar, Abdulrahman Alhamdan
SIGMOD
2009
ACM
191views Database» more  SIGMOD 2009»
16 years 3 months ago
Scalable skyline computation using object-based space partitioning
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
Shiming Zhang, Nikos Mamoulis, David W. Cheung