4211 search results - page 648 / 843 » A formal approach to MASQ |
161
click to vote
DRR
2008
15 years 8 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
188
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
154
click to vote
LREC
2008
15 years 8 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
168
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
182
click to vote
UAI
2008
15 years 8 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...