Sciweavers

2777 search results - page 276 / 556
» Example centric programming
Sort
View
122
Voted
ERLANG
2008
ACM
15 years 5 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
129
Voted
FLOPS
2008
Springer
15 years 5 months ago
Integrating Answer Set Reasoning with Constraint Solving Techniques
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
Veena S. Mellarkod, Michael Gelfond
118
Voted
LREC
2010
216views Education» more  LREC 2010»
15 years 5 months ago
Automatic Grammar Rule Extraction and Ranking for Definitions
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...
Claudia Borg, Mike Rosner, Gordon J. Pace
115
Voted
SERP
2003
15 years 4 months ago
Integrated Tools for Performance-Oriented Distributed Software Development
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
Nicola Mazzocca, Emilio Mancini, Massimiliano Rak,...
131
Voted
IJCAI
1989
15 years 4 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan