14809 search results - page 2620 / 2962 » Model transformation by demonstration |
213
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
226
click to vote
ICICS
2007
Springer
15 years 11 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
187
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, a fast and robust multi-view lip localization algorithm in video is proposed. We consider lip localization as a binary classification problem, where a classifier is...
201
click to vote
SUTC
2010
IEEE
15 years 11 months ago
2010
IEEE
—Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. With the inclusion of ambient intelligence and perv...
218
click to vote
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...