Sciweavers

16216 search results - page 61 / 3244
» Effective Modeling with Constraints
Sort
View
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 4 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
CG
2005
Springer
15 years 4 months ago
Sloppy selection: Providing an accurate interpretation of imprecise selection gestures
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
Edward Lank, Eric Saund
AUTOMATICA
2010
98views more  AUTOMATICA 2010»
15 years 3 months ago
Explicit use of probabilistic distributions in linear predictive control
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
Basil Kouvaritakis, Mark Cannon, Sasa V. Rakovic, ...
MODELS
2009
Springer
15 years 8 months ago
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varr&oac...
MMM
2005
Springer
138views Multimedia» more  MMM 2005»
15 years 9 months ago
Modeling of Output Constraints in Multimedia Database Systems
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...
Thomas Heimrich