1422 search results - page 160 / 285 » Complementation in Abstract Interpretation |
138
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
125
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. The interpretation of large-scale protein network data depends on our ability to identify significant sub-structures in the data, a computationally intensive task. Here w...
130
click to vote
MCS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we present a novel approach to combining multiple kernels where the kernels are computed from different information channels. In contrast to traditional me...
128
click to vote
PERVASIVE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a new type of input for mobile devices by sensing forces applied by users to device casings. Deformation of the devices is not necessary for such “force gest...
134
click to vote
ASWC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...