1188 search results - page 223 / 238 » Testing Semantics: Connecting Processes and Process Logics |
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
Testing reachability between nodes in a graph is a well-known problem with many important applications, including knowledge representation, program analysis, and more recently, bi...
122
click to vote
EJWCN
2011
14 years 6 months ago
2011
—This paper presents CARNIVORE, a system for in-situ, yet unobtrusive monitoring of cryptic, difficult-tocatch/observe wildlife in their natural habitat. CARNIVORE consists of a...
122
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
133
click to vote
ERCIMDL
2006
Springer
15 years 3 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
132
click to vote
LBM
2007
15 years 1 months ago
2007
Background: Extracting Protein-Protein Interactions (PPI) from research papers is a way of translating information from English to the language used by the databases that store th...