245 search results - page 21 / 49 » State Complexity of Testing Divisibility |
107
click to vote
GCB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
86
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a new method to estimate human change of concentration from multiple camera views of the human. In our method, human state of concentration is observed as self...
107
click to vote
PSTV
1993
15 years 1 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
111
Voted
NSDI
2004
15 years 1 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
121
click to vote
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Regular expression matching (REM) with nondeterministic finite automata (NFA) can be computationally expensive when a large number of patterns are matched concurrently....