3724 search results - page 362 / 745 » Timed regular expressions |
168
Voted
BIBM
2009
IEEE
15 years 12 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...
149
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present efficient closed-form formulas to estimate capacitive coupling-induced crosstalk noise for distributed RC coupling trees. The efficiency of our approach...
177
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
179
click to vote
PACT
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
165
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and acc...