5536 search results - page 728 / 1108 » Programming Languages for Distributed Applications |
173
click to vote
STEP
2005
IEEE
16 years 14 days ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
220
click to vote
AIIA
2005
Springer
16 years 13 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
170
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
186
click to vote
MHCI
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
188
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...