Sciweavers

1313 search results - page 154 / 263
» Generic Universe Types
Sort
View
IACR
2011
104views more  IACR 2011»
14 years 4 months ago
Secure Multi-Party Computation of Boolean Circuits with Applications to Privacy in On-Line Marketplaces
Protocols for generic secure multi-party computation (MPC) come in two forms: they either represent the function being computed as a boolean circuit, or as an arithmetic circuit o...
Seung Geol Choi, Kyung-Wook Hwang, Jonathan Katz, ...
ICPR
2006
IEEE
16 years 6 months ago
Illumination Invariant Texture Retrieval
Two fast illumination invariant image retrieval methods for scenes comprising textured objects with variable illumination are introduced. Both methods are based on texture gradien...
Michal Haindl, Pavel Vacha
FASE
2010
Springer
15 years 12 months ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
15 years 11 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
CSEE
2009
Springer
15 years 11 months ago
An Evaluation of Using a Game Development Framework in Higher Education
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
Bian Wu, Alf Inge Wang, Jan-Erik Strøm, Tro...