Sciweavers

1963 search results - page 100 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
ICSE
1999
IEEE-ACM
15 years 7 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
CP
2009
Springer
16 years 3 months ago
Minimising Decision Tree Size as Combinatorial Optimisation
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
Christian Bessiere, Emmanuel Hebrard, Barry O'Sull...
DSOM
1999
Springer
15 years 7 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
SOFSEM
2012
Springer
13 years 10 months ago
Turing Machines for Dummies - Why Representations Do Matter
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
Peter van Emde Boas
PICS
2003
15 years 4 months ago
Applications of a Color-Naming Database
An ongoing web-based color naming experiment † has collected a small number of unconstrained color names from a large number of observers. This has resulted in a large database ...
Nathan Moroney, Ingeborg Tastl