1712 search results - page 118 / 343 » Abstract Constraint Data Types |
116
click to vote
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
120
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
111
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
116
click to vote
AIIA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The huge volume of gene expression data produced by microarrays and other high-throughput techniques has encouraged the development of new computational techniques to eva...
142
click to vote
ICMLA
2010
15 years 26 days ago
2010
Abstract--Learning multiple related tasks from data simultaneously can improve predictive performance relative to learning these tasks independently. In this paper we propose a nov...