Sciweavers

500 search results - page 48 / 100
» A parallel quadratic programming method for dynamic optimiza...
Sort
View
116
Voted
ICLP
1997
Springer
15 years 6 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...
128
Voted
CCE
2004
15 years 2 months ago
Retrospective on optimization
In this paper we provide a general classification of mathematical optimization problems, followed by a matrix of applications that shows the areas in which these problems have bee...
Lorenz T. Biegler, Ignacio E. Grossmann
128
Voted
COLING
1996
15 years 4 months ago
Bilingual Knowledge Acquisition from Korean-English Parallel Corpus Using Alignment
This paper snggests a method to align Korean-English parallel corpus. '1?he structural dissimilarity between Korean and Indo-European languages requires more flexible measure...
Jung H. Shin, Young S. Han, Key-Sun Choi
ISLPED
2006
ACM
109views Hardware» more  ISLPED 2006»
15 years 8 months ago
Power reduction of multiple disks using dynamic cache resizing and speed control
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
Le Cai, Yung-Hsiang Lu
253
Voted
STOC
2003
ACM
193views Algorithms» more  STOC 2003»
16 years 2 months ago
Space efficient dynamic stabbing with fast queries
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
Mikkel Thorup