Sciweavers

1920 search results - page 242 / 384
» The Range Constraint: Algorithms and Implementation
Sort
View
106
Voted
IEAAIE
1999
Springer
15 years 8 months ago
The Design of a Multi-tiered Bus Timetabling System
This paper describes the design of the Bus Timetabling System (BTS) we have developed for one of the largest privately held bus companies in the world. This Bus Company operates cl...
Andy Hon Wai Chun, Steve Ho Chuen Chan
RECOMB
1998
Springer
15 years 8 months ago
Alignments without low-scoring regions
Given a strong match between regions of two sequences, how far can the match be meaningfully extended if gaps are allowed in the resulting alignment? The aim is to avoid searching...
Zheng Zhang 0004, Piotr Berman, Webb Miller
ICLP
1997
Springer
15 years 8 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
LPNMR
1997
Springer
15 years 8 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian
DELTA
2004
IEEE
15 years 7 months ago
A Novel Approach to Real-time Bilinear Interpolation
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
K. T. Gribbon, Donald G. Bailey