Sciweavers

21876 search results - page 358 / 4376
» Computer game-flow design
Sort
View
CRYPTO
2010
Springer
167views Cryptology» more  CRYPTO 2010»
15 years 8 months ago
Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
Ivan Damgård, Claudio Orlandi
CAD
2010
Springer
15 years 7 months ago
Pattern computation for compression garment by a physical/geometric approach
This paper addresses the problem of computing planar patterns for compression garments. In the garment industry, the compression garment has been more and more widely used to reta...
Charlie C. L. Wang, Kai Tang
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 6 months ago
On the Computation of the Topology of a Non-Reduced Implicit Space Curve
An algorithm is presented for the computation of the topology of a non-reduced space curve defined as the intersection of two implicit algebraic surfaces. It computes a Piecewise ...
Daouda Niang Diatta, Bernard Mourrain, Olivier Rua...
ENTCS
2007
82views more  ENTCS 2007»
15 years 6 months ago
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
Jayshan Raghunandan, Alexander J. Summers
892
Voted
KER
2007
90views more  KER 2007»
15 years 6 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon