Sciweavers

32545 search results - page 510 / 6509
» Data Structures and Algorithms
Sort
View
ATVA
2010
Springer
154views Hardware» more  ATVA 2010»
15 years 8 months ago
Lattice-Valued Binary Decision Diagrams
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall,...
IJISTA
2007
119views more  IJISTA 2007»
15 years 7 months ago
Online modelling based on Genetic Programming
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
Stephan M. Winkler, Hajrudin Efendic, Luigi del Re...
PPOPP
2011
ACM
14 years 10 months ago
Wait-free queues with multiple enqueuers and dequeuers
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
Alex Kogan, Erez Petrank
CIAC
2003
Springer
89views Algorithms» more  CIAC 2003»
16 years 9 days ago
The Impact of Network Structure on the Stability of Greedy Protocols
Dimitrios Koukopoulos, Marios Mavronicolas, Sotiri...
SEQLEARN
2001
Springer
251views Algorithms» more  SEQLEARN 2001»
15 years 11 months ago
Bidirectional Dynamics for Protein Secondary Structure Prediction
Pierre Baldi, Søren Brunak, Paolo Frasconi,...