Sciweavers

8669 search results - page 1240 / 1734
» Computing matrix representations
Sort
View
SMA
2005
ACM
119views Solid Modeling» more  SMA 2005»
15 years 11 months ago
Tightening: curvature-limiting morphological simplification
Given a planar set S of arbitrary topology and a radius r, we show how to construct an r-tightening of S, which is a set whose boundary has a radius of curvature everywhere greate...
Jason Williams, Jarek Rossignac
ACII
2005
Springer
15 years 11 months ago
Face Alignment Under Various Poses and Expressions
In this paper, we present a face alignment system to deal with various poses and expressions. In addition to global shape model, we use component shape model such as mouth shape mo...
Shengjun Xin, Haizhou Ai
CIE
2005
Springer
15 years 11 months ago
A Thread Algebra with Multi-level Strategic Interleaving
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
Jan A. Bergstra, C. A. Middelburg
CONCUR
2005
Springer
15 years 11 months ago
A Compositional Approach to the Stochastic Dynamics of Gene Networks
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
Luca Cardelli
150
Voted
CPAIOR
2005
Springer
15 years 11 months ago
Nondeterministic Control for Hybrid Search
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
Pascal Van Hentenryck, Laurent Michel
« Prev « First page 1240 / 1734 Last » Next »