877 search results - page 27 / 176 » Annotated Revision Programs |
123
Voted
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
102
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
121
Voted
JAR
2007
15 years 2 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
110
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
189
Voted
ICDE
1996
IEEE
16 years 3 months ago
1996
IEEE
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipula...