2373 search results - page 442 / 475 » Modelling Facial Behaviours |
113
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
143
click to vote
JIRS
2008
15 years 1 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
135
click to vote
JLP
2006
15 years 1 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
104
click to vote
JMIV
2006
15 years 1 months ago
2006
Abstract. A generalized iterative regularization procedure based on the total variation penalization is introduced for image denoising models with non-quadratic convex fidelity ter...
105
Voted
ENTCS
2007
15 years 1 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...