85 search results - page 6 / 17 » Open Bisimulation, Revisited |
ENTCS
2006
14 years 10 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
The problem of data semantics is establishing and maintaining the correspondence between a data source and its intended subject matter. We review the long history of the problem in...
ICIP
1995
IEEE
15 years 11 months ago
1995
IEEE
In recent work, we have shown that morphological openings and closings can be viewed as consistent MAP estimators of morphologically smooth binary image signals immersed in i.i.d....
NAACL
2010
14 years 8 months ago
2010
Understanding query ambiguity in web search remains an important open problem. In this paper we reexamine query ambiguity by analyzing the result clickthrough data. Previously pro...
NORDICHI
2006
ACM
15 years 4 months ago
2006
ACM
While participatory design makes end-users part of the design process, we might also want the resulting system to be open for interpretation, appropriation and change over time to...