1188 search results - page 166 / 238 » Testing Semantics: Connecting Processes and Process Logics |
133
Voted
IMC
2006
ACM
15 years 10 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
124
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...
154
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Identification of discourse relations, such as causal and contrastive relations, between situations mentioned in text is an important task for biomedical text-mining. ...
249
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
149
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...