Sciweavers

510 search results - page 92 / 102
» An Algebraic Framework for Urgency
Sort
View
SLOGICA
2008
135views more  SLOGICA 2008»
15 years 1 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
IVC
2007
124views more  IVC 2007»
15 years 1 months ago
Outlier rejection in high-dimensional deformable models
Deformable model tracking is a powerful methodology that allows us to track the evolution of high-dimensional parameter vectors from uncalibrated monocular video sequences. The co...
Christian Vogler, Siome Goldenstein, Jorge Stolfi,...
SIAMDM
2000
103views more  SIAMDM 2000»
15 years 1 months ago
Directional Routing via Generalized st-Numberings
We present a mathematical model for network routing based on generating paths in a consistent direction. Our development is based on an algebraic and geometric framework for defini...
Fred S. Annexstein, Kenneth A. Berman
TOG
2002
162views more  TOG 2002»
15 years 1 months ago
Interactive skeleton-driven dynamic deformations
This paper presents a framework for the skeleton-driven animation of elastically deformable characters. A character is embedded in a coarse volumetric control lattice, which provi...
Steve Capell, Seth Green, Brian Curless, Tom Ducha...
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 14 days ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim