Sciweavers

2036 search results - page 128 / 408
» A generic type-and-effect system
Sort
View
ADG
2006
Springer
220views Mathematics» more  ADG 2006»
15 years 6 months ago
Cylinders Through Five Points: Complex and Real Enumerative Geometry
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
Daniel Lichtblau
114
Voted
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
15 years 6 months ago
Efficient Field Processing Cores in an Innovative Protocol Processor System-on-Chip
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
George Lykakis, N. Mouratidis, Kyriakos Vlachos, N...
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 4 months ago
On evolving buffer overflow attacks using genetic programming
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...
Hilmi Günes Kayacik, Malcolm I. Heywood, A. N...
BPM
2008
Springer
143views Business» more  BPM 2008»
15 years 2 months ago
Mining Based on Learning from Process Change Logs
In today's dynamic business world economic success of an enterprise increasingly depends on its ability to react to internal and external changes in a quick and flexible way. ...
Chen Li, Manfred Reichert, Andreas Wombacher
159
Voted
CICLING
2008
Springer
15 years 2 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...