Sciweavers

4895 search results - page 631 / 979
» Functional Quantum Programming
Sort
View
CC
2006
Springer
118views System Software» more  CC 2006»
15 years 10 months ago
Lightweight Lexical Closures for Legitimate Execution Stack Access
We propose a new language concept called "L-closures" for a running program to legitimately inspect/modify the contents of its execution stack. L-closures are lightweight...
Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa
FLOPS
2004
Springer
15 years 10 months ago
Analysing Definitional Trees: Looking for Determinism
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
Pascual Julián Iranzo, Christian Villamizar...
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 10 months ago
Single and multi-objective genetic operators in object-oriented conceptual software design
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...
Christopher L. Simons, Ian C. Parmee
193
Voted
APN
2008
Springer
15 years 8 months ago
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
Fausto Sessego, Alessandro Giua, Carla Seatzu
NIPS
2008
15 years 7 months ago
Support Vector Machines with a Reject Option
We consider the problem of binary classification where the classifier may abstain instead of classifying each observation. The Bayes decision rule for this setup, known as Chow�...
Yves Grandvalet, Alain Rakotomamonjy, Joseph Keshe...