Sciweavers

1781 search results - page 151 / 357
» Functional Answer Set Programming
Sort
View
ICSM
2005
IEEE
15 years 7 months ago
Crisp: A Debugging Tool for Java Programs
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder
ILP
2004
Springer
15 years 7 months ago
Learning an Approximation to Inductive Logic Programming Clause Evaluation
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
Frank DiMaio, Jude W. Shavlik
107
Voted
JCB
2000
137views more  JCB 2000»
15 years 1 months ago
NOTUNG: A Program for Dating Gene Duplications and Optimizing Gene Family Trees
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
Kevin Chen, Dannie Durand, Martin Farach-Colton
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 1 months ago
Semidefinite programming for N-Player Games
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
Rida Laraki, Jean B. Lasserre
CRYPTOLOGIA
2007
53views more  CRYPTOLOGIA 2007»
15 years 1 months ago
Rejewski's Catalog
When attacking the German Enigma cipher machine during the 1930s, the Polish mathematician Marian Rejewski developed a catalog of disjoint cycles of permutations generated by Enigm...
Alex Kuhl