5353 search results - page 364 / 1071 » Modelling Contexts in the Or-BAC Model |
249
click to vote
FORTE
2009
15 years 5 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
194
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
F0 is an acoustic feature that varies largely from one speaker to another. F0 is characterized by a discontinuity in the transition between voiced and unvoiced sounds that present...
179
click to vote
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel approach, clustering on local image profiles, for statistically characterizing image intensity in object boundary regions. In deformable model segmentation, a d...
293
click to vote
LAWEB
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper presents a model-based approach for developing vectorial user interfaces to an interactive applications, whether it is a web or a stand-alone applications. A vectoria...
203
click to vote
ICAS
2008
IEEE
16 years 2 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...