623 search results - page 41 / 125 » Declarative Network Verification |
117
click to vote
BIBM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
105
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
121
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
We propose the demonstration of SP4, a software-based programmable packet processing platform that supports (1) stateful packet processing useful for analyzing traffic flows wit...
120
Voted
ICDAR
2007
IEEE
15 years 5 months ago
2007
IEEE
Document examiners use a variety of features to analyze a given handwritten document for writer verification. The challenge in the automatic classification of a pair of documents ...