Sciweavers

1148 search results - page 115 / 230
» Software engineering considered harmful
Sort
View
ARCS
2004
Springer
15 years 9 months ago
Pulse coupled neural networks with adaptive synapses for image segmentation
Abstract: A network of integrate-and-fire neurons with reciprocal synaptic connections to the four next neighbors is considered. The input to each neuron is the feature of an imag...
Jörg Schreiter, Ulrich Ramacher, Arne Heittma...
EWSA
2004
Springer
15 years 9 months ago
Constraints of Behavioural Inheritance
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
Ella E. Roubtsova, Serguei A. Roubtsov
FOSSACS
2004
Springer
15 years 9 months ago
Soft lambda-Calculus: A Language for Polynomial Time Computation
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
Patrick Baillot, Virgile Mogbil
EMSOFT
2003
Springer
15 years 9 months ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel
FSTTCS
2003
Springer
15 years 9 months ago
Pushdown Games with Unboundedness and Regular Conditions
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...
Alexis-Julien Bouquet, Olivier Serre, Igor Walukie...