13383 search results - page 2334 / 2677 » Abstractions from proofs |
156
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...
130
click to vote
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. Advances in the miniaturization and embedding of electronics for microcomputing, communication and sensor/actuator systems, have fertilized the pervasion of technology in...
153
click to vote
ISBRA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Many of the steps in phylogenetic reconstruction can be confounded by “rogue” taxa, taxa that cannot be placed with assurance anywhere within the tree—whose locatio...
159
click to vote
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
146
click to vote
ECCB
2008
IEEE
15 years 10 months ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...