4099 search results - page 742 / 820 » A Framework for Interactive Proof |
SOCA
2008
IEEE
14 years 9 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
STTT
2008
14 years 9 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
TCSV
2008
14 years 9 months ago
2008
Multi-user video streaming over wireless channels is a challenging problem, where the demand for better video quality and small transmission delays needs to be reconciled with the ...
104
click to vote
JAIR
2007
14 years 9 months ago
2007
In this paper we present a general, flexible framework for learning mappings from images to actions by interacting with the environment. The basic idea is to introduce a feature-...
102
click to vote
JDWM
2007
14 years 9 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...