Sciweavers

5810 search results - page 263 / 1162
» An Approach to Programming Based on Concepts
Sort
View
WLP
2007
Springer
16 years 18 days ago
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
Martin Gebser, Jörg Pührer, Torsten Scha...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
EOR
2006
83views more  EOR 2006»
15 years 6 months ago
The Rose-Gurewitz-Fox approach applied for patents classification
We used the so-called deterministic annealing algorithm due to Rose and Gurewitz by the classification of patent documents. A C++ program based on this algorithm was run first on s...
Ioan Bogdan Hodrea, Radu Ioan Bot, Gert Wanka
BMCBI
2005
92views more  BMCBI 2005»
15 years 6 months ago
A restraint molecular dynamics and simulated annealing approach for protein homology modeling utilizing mean angles
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
Andreas Möglich, Daniel Weinfurtner, Till Mau...
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 6 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg