7228 search results - page 227 / 1446 » From Algorithmic to Subjective Randomness |
155
click to vote
WWW
2005
ACM
15 years 9 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
115
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
156
click to vote
IJRR
2000
15 years 3 months ago
2000
In this paper, we study the problem of determining a mathematical description of the surface defined by the shape of a membrane based on an image of it and present an algorithm fo...
150
click to vote
CGF
2008
15 years 2 months ago
2008
This paper deals with the reconstruction of 2-dimensional geometric shapes from unorganized 1-dimensional cross-sections. We study the problem in its full generality following the...
184
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
Query logs of a Web search engine have been increasingly used as a vital source for data mining. This paper presents a study on largescale domain-independent entity extraction fro...