Sciweavers

42738 search results - page 8351 / 8548
» Search Computing Systems
Sort
View
175
Voted
AMAI
1999
Springer
15 years 3 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
CG
1999
Springer
15 years 3 months ago
An interactive visualization and navigation tool for medical volume data
In order to make direct volume rendering practicable convenient visualization options and data analysis tools have to be integrated. For example, direct rendering of semi-transpar...
Ove Sommer, Alexander Dietz, Rüdiger Westerma...
INFORMS
1998
150views more  INFORMS 1998»
15 years 3 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
SMR
1998
89views more  SMR 1998»
15 years 3 months ago
Little languages: little maintenance?
So-called little, or domain-specific languages (DSLs), have the potential to make software maintenance simpler: domain-experts can directly use the DSL to make required routine m...
Arie van Deursen, Paul Klint
SOFTWARE
1998
15 years 3 months ago
Interrupts: Just a Minute Never Is
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
Rini van Solingen, Egon Berghout, Frank van Latum
« Prev « First page 8351 / 8548 Last » Next »