Sciweavers

29046 search results - page 262 / 5810
» Computable Models
Sort
View
GBRPR
2009
Springer
15 years 10 months ago
Computing and Visualizing a Graph-Based Decomposition for Non-manifold Shapes
Modeling and understanding complex non-manifold shapes is a key issue in shape analysis and retrieval. The topological structure of a non-manifold shape can be analyzed through its...
Leila De Floriani, Daniele Panozzo, Annie Hui
CPM
2007
Springer
222views Combinatorics» more  CPM 2007»
15 years 10 months ago
Computing Exact p-Value for Structured Motif
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...
Jing Zhang, Xi Chen, Ming Li
TCC
2007
Springer
112views Cryptology» more  TCC 2007»
15 years 10 months ago
On the Necessity of Rewinding in Secure Multiparty Computation
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
Michael Backes, Jörn Müller-Quade, Domin...
DGCI
2005
Springer
15 years 9 months ago
Computation of Homology Groups and Generators
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
Samuel Peltier, Sylvie Alayrangues, Laurent Fuchs,...
EICS
2009
ACM
15 years 8 months ago
MoLIC designer: towards computational support to hci design with MoLIC
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
Ugo Braga Sangiorgi, Simone Diniz Junqueira Barbos...