1914 search results - page 245 / 383 » Verification by Abstract Interpretation |
93
Voted
RECOMB
2005
Springer
16 years 1 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...
102
click to vote
MCS
2010
Springer
15 years 7 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...
95
Voted
PERVASIVE
2009
Springer
15 years 7 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...
105
Voted
ASWC
2009
Springer
15 years 7 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...
113
Voted
WSOM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...