10072 search results - page 52 / 2015 » Composition of Model Programs |
118
click to vote
RR
2007
Springer
15 years 8 months ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
112
Voted
GREC
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a solution for online composite sketchy shape recognition. The kernel of the strategy treats both stroke segmentation and sketch recognition as an optimization ...
123
Voted
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
The compositional nature of visual objects significantly limits their representation complexity and renders learning of structured object models tractable. Adopting this modeling ...
121
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
102
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...