Sciweavers

1317 search results - page 170 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
CORR
1998
Springer
105views Education» more  CORR 1998»
15 years 6 months ago
Solving Degenerate Sparse Polynomial Systems Faster
Abstract. Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in...
J. Maurice Rojas
TIT
2002
77views more  TIT 2002»
15 years 5 months ago
Capacity-achieving sequences for the erasure channel
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
P. Oswald, A. Shokrollahi
PAAPP
2007
112views more  PAAPP 2007»
15 years 5 months ago
A study on video viewing behavior: application to movie trailer miner
In this paper, we present a study on video viewing behavior. Based on a well-suited Markovian model, we have developed a clustering algorithm called K-Models and inspired by the K...
Sylvain Mongy
IVA
2010
Springer
15 years 4 months ago
How a Virtual Agent Should Smile? - Morphological and Dynamic Characteristics of Virtual Agent's Smiles
A smile may communicate different meanings depending on subtle characteristics of the facial expression. In this article, we have studied the morphological and dynamic characteris...
Magalie Ochs, Radoslaw Niewiadomski, Catherine Pel...
IC3
2009
15 years 4 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler