488 search results - page 39 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICWL
2007
Springer
15 years 5 months ago
2007
Springer
It is indeed important to implement e-Learning platforms for education and training purposes in a variety of domains. However, facing the enormous amount of learning resources, gui...
DEBU
2008
14 years 11 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
104
click to vote
ESOP
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
75
Voted
ECHT
1992
15 years 3 months ago
1992
This paper discusses experiences and lessons learned from the design of an open hypermedia system, one that integrates applications and data not "owned" by the hypermedi...