Sciweavers

9264 search results - page 1435 / 1853
» Space Between Languages
Sort
View
SSD
2005
Springer
153views Database» more  SSD 2005»
16 years 11 days ago
Constrained Shortest Path Computation
This paper proposes and solves a-autonomy and k-stops shortest path problems in large spatial databases. Given a source s and a destination d, an aautonomy query retrieves a sequen...
Manolis Terrovitis, Spiridon Bakiras, Dimitris Pap...
VLDB
2005
ACM
175views Database» more  VLDB 2005»
16 years 11 days ago
Catching the Best Views of Skyline: A Semantic Approach Based on Decisive Subspaces
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
Jian Pei, Wen Jin, Martin Ester, Yufei Tao
VMCAI
2005
Springer
16 years 11 days ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
WABI
2005
Springer
117views Bioinformatics» more  WABI 2005»
16 years 11 days ago
Faster Algorithms for Optimal Multiple Sequence Alignment Based on Pairwise Comparisons
Multiple Sequence Alignment (MSA) is one of the most fundamental problems in computational molecular biology. The running time of the best known scheme for finding an optimal ali...
Pankaj K. Agarwal, Yonatan Bilu, Rachel Kolodny
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
16 years 10 days ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
« Prev « First page 1435 / 1853 Last » Next »