Sciweavers

11063 search results - page 172 / 2213
» On the existence of universal models
Sort
View
CCA
2009
Springer
16 years 1 months ago
Towards the Complexity of Riemann Mappings (Extended Abstract)
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
Robert Rettinger
ICLP
1998
Springer
15 years 10 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel
GI
2009
Springer
15 years 10 months ago
Classifying Privacy and Verifiability Requirements for Electronic Voting
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
Lucie Langer, Axel Schmidt, Melanie Volkamer, Joha...
HIJ
2006
89views more  HIJ 2006»
15 years 6 months ago
Extending the role of a healthcare digital library environment to support orthopaedic research
A digital archive, together with its users and its contents, does not exist in isolation - there is a cycle of activities which provides the context for the archive's existen...
Timothy Miles-Board, Leslie Carr, Gary B. Wills, G...
JGT
2006
60views more  JGT 2006»
15 years 6 months ago
Spanning subgraphs of graphs partitioned into two isomorphic pieces
: A graph has the neighbor-closed-co-neighbor, or ncc property, if for each of its vertices x, the subgraph induced by the neighbor set of x is isomorphic to the subgraph induced b...
Anthony Bonato