1712 search results - page 99 / 343 » Abstract Constraint Data Types |
112
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
131
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
112
Voted
COLT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
162
Voted
DAWAK
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...
93
Voted
BIOSURVEILLANCE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...