Sciweavers

3680 search results - page 94 / 736
» cases 2010
Sort
View
DT
2006
94views more  DT 2006»
15 years 6 months ago
A Component-Based Design Environment for ESL Design
gn: abstraction and reuse. The authors present an ESL design flow using the Gezel language. Using several very different design examples, they this design flow supports their case ...
Patrick Schaumont, Ingrid Verbauwhede
ENTCS
2007
110views more  ENTCS 2007»
15 years 6 months ago
Data Anonymity in the FOO Voting Scheme
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a v...
Sjouke Mauw, Jan Verschuren, Erik P. de Vink
EOR
2007
76views more  EOR 2007»
15 years 6 months ago
Lower bounds and heuristics for the Windy Rural Postman Problem
In this paper we present several heuristic algorithms and a cutting-plane algorithm for the Windy Rural Postman Problem. This problem contains a big number of important Arc Routin...
Enrique Benavent, Alessandro Carrotta, Angel Corbe...
ECCC
2000
179views more  ECCC 2000»
15 years 6 months ago
A Note on Approximating MAX-BISECTION on Regular Graphs
We design a 0:795 approximation algorithm for the Max-Bisection problem restricted to regular graphs. In the case of three regular graphs our results imply an approximation ratio ...
Uriel Feige, Marek Karpinski, Michael Langberg
ECCC
2002
86views more  ECCC 2002»
15 years 6 months ago
Classical Physics and the Church-Turing Thesis
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
Andrew Chi-Chih Yao