Sciweavers

28888 search results - page 5408 / 5778
» Computability and complexity in analysis
Sort
View
INFORMS
1998
150views more  INFORMS 1998»
15 years 4 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
CORR
1999
Springer
93views Education» more  CORR 1999»
15 years 4 months ago
On the Power of Positive Turing Reductions
: In the early 1980s, Selman's seminal work on positive Turing reductions showed that positive Turing reduction to NP yields no greater computational power than NP itself. Thu...
Edith Hemaspaandra
TCS
1998
15 years 4 months ago
A Uniform Approach to Semi-Dynamic Problems on Digraphs
In this paper we propose a uniform approach to deal with incremental problems on digraphs and with decremental problems on dags generalizing a technique used by La Poutr´e and va...
Serafino Cicerone, Daniele Frigioni, Umberto Nanni...
TKDE
1998
139views more  TKDE 1998»
15 years 4 months ago
Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
Alexander Thomasian
170
Voted
TVCG
1998
127views more  TVCG 1998»
15 years 4 months ago
Dynamic Catmull-Clark Subdivision Surfaces
—Recursive subdivision schemes have been extensively used in computer graphics, computer-aided geometric design, and scientific visualization for modeling smooth surfaces of arbi...
Hong Qin, Chhandomay Mandal, Baba C. Vemuri
« Prev « First page 5408 / 5778 Last » Next »