Sciweavers

29046 search results - page 277 / 5810
» Computable Models
Sort
View
CORR
2004
Springer
166views Education» more  CORR 2004»
15 years 4 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
DSVIS
2003
Springer
15 years 9 months ago
Derivation of a Dialog Model from a Task Model by Activity Chain Extraction
Kris Luyten, Tim Clerckx, Karin Coninx, Jean Vande...
CSE
2009
IEEE
15 years 11 months ago
Validation of Sociocultural Models and Meta-Models via Serious Games
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
K. Brock Stitts, Colleen L. Phillips, Norman D. Ge...
GMP
2010
IEEE
175views Solid Modeling» more  GMP 2010»
15 years 8 months ago
Optimal Analysis-Aware Parameterization of Computational Domain in Isogeometric Analysis
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
Gang Xu, Bernard Mourrain, Régis Duvigneau,...
CRYPTO
2007
Springer
162views Cryptology» more  CRYPTO 2007»
15 years 10 months ago
Universally-Composable Two-Party Computation in Two Rounds
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
Omer Horvitz, Jonathan Katz