2343 search results - page 335 / 469 » Structure and Interpretation of Computer Programs |
162
click to vote
FUIN
2010
15 years 2 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
141
click to vote
COGSR
2011
14 years 12 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
242
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
144
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
167
click to vote
NAR
2010
14 years 11 months ago
2010
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...