Sciweavers

2635 search results - page 153 / 527
» Computing multihomogeneous resultants using straight-line pr...
Sort
View
137
Voted
POPL
1999
ACM
15 years 8 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
GECCO
2008
Springer
132views Optimization» more  GECCO 2008»
15 years 4 months ago
Hybridizing an evolutionary algorithm with mathematical programming techniques for multi-objective optimization
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
Saúl Zapotecas Martínez, Carlos A. C...
132
Voted
PDPTA
2000
15 years 5 months ago
Efficiency of Parallel Java Using SMP and Client-Server
Networked UNIX workstations as well as workstations running Windows 98 and Windows NT are fast becoming the standard computing environments at many universities and research sites....
Maurice Eggen, Roger Eggen
137
Voted
DIS
2005
Springer
15 years 9 months ago
Support Vector Inductive Logic Programming
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
Stephen Muggleton, Huma Lodhi, Ata Amini, Michael ...
133
Voted
LOPSTR
2005
Springer
15 years 9 months ago
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
Elvira Albert, Germán Puebla, John P. Galla...