Sciweavers

3238 search results - page 194 / 648
» Not Enough Points Is Enough
Sort
View
FINTAL
2006
15 years 10 months ago
A Computational Implementation of Internally Headed Relative Clause Constructions
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
Jong-Bok Kim, Peter Sells, Jaehyung Yang
191
Voted
FOSSACS
2006
Springer
15 years 10 months ago
Guessing Attacks and the Computational Soundness of Static Equivalence
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
Martín Abadi, Mathieu Baudet, Bogdan Warins...
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 10 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert
GECCO
2006
Springer
174views Optimization» more  GECCO 2006»
15 years 10 months ago
Optimizing of NC tool paths for five-axis milling using evolutionary algorithms on wavelets
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...
Klaus Weinert, Andreas Zabel, Heinrich Müller...
ESOP
2000
Springer
15 years 10 months ago
Formalizing Implementation Strategies for First-Class Continuations
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
Olivier Danvy