Sciweavers

1033 search results - page 86 / 207
» Properties of Exercise Strategies
Sort
View
BERTINORO
2005
Springer
15 years 3 months ago
Making Self-Adaptation an Engineering Reality
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
78
Voted
FOSSACS
2005
Springer
15 years 3 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
77
Voted
CGI
2003
IEEE
15 years 3 months ago
Compressing Texture Coordinates with Selective Linear Predictions
In this paper we describe a strategy for efficient predictive compression of texture coordinates. Previous works in mesh compression often claim that this mesh property can simpl...
Martin Isenburg, Jack Snoeyink
91
Voted
ASP
2003
Springer
15 years 3 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke
79
Voted
ICTAI
1999
IEEE
15 years 2 months ago
On the Fine Structure of Large Search Spaces
Recently there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, o...
Carla P. Gomes, Bart Selman