Sciweavers

8496 search results - page 420 / 1700
» Problem Solving and Complex Systems
Sort
View
FOSSACS
2011
Springer
14 years 10 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
CRYPTO
2001
Springer
152views Cryptology» more  CRYPTO 2001»
15 years 11 months ago
Secure Distributed Linear Algebra in a Constant Number of Rounds
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
Ronald Cramer, Ivan Damgård
FOCS
2004
IEEE
15 years 10 months ago
On the Streaming Model Augmented with a Sorting Primitive
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
Gagan Aggarwal, Mayur Datar, Sridhar Rajagopalan, ...
MEMBRANE
2005
Springer
16 years 10 days ago
Boolean Circuits and a DNA Algorithm in Membrane Computing
In the present paper we propose a way to simulate Boolean gates and circuits in the framework of P systems with active membranes using inhibiting/de-inhibiting rules. This new appr...
Mihai Ionescu, Tseren-Onolt Ishdorj
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
16 years 11 days ago
Evolutionary algorithms for medical simulations: a case study in minimally-invasive vascular interventions
To obtain the expertise to correctly perform minimally– invasive vascular interventions thorough training is required. Training using simulation systems are increasingly becomin...
Peter A. N. Bosman, Tanja Alderliesten