Sciweavers

27274 search results - page 4928 / 5455
» A framework for framework documentation
Sort
View
MMM
2012
Springer
313views Multimedia» more  MMM 2012»
14 years 2 months ago
Combining Image-Level and Segment-Level Models for Automatic Annotation
Abstract. For the task of assigning labels to an image to summarize its contents, many early attempts use segment-level information and try to determine which parts of the images c...
Daniel Küttel, Matthieu Guillaumin, Vittorio ...
POPL
2012
ACM
14 years 2 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
243
Voted
POST
2012
218views more  POST 2012»
14 years 2 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
SCW
2012
IEEE
14 years 2 months ago
Linear cost share equilibria and the veto power of the grand coalition
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
Maria Gabriella Graziano, Maria Romaniello
SWQD
2012
234views more  SWQD 2012»
14 years 2 months ago
BIM: A Methodology to Transform Business Processes into Software Systems
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
Francisco J. Duarte, Ricardo Jorge Machado, Jo&ati...
« Prev « First page 4928 / 5455 Last » Next »