8582 search results - page 1386 / 1717 » Here or There |
164
Voted
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
192
click to vote
SOFSEM
2007
Springer
16 years 26 days ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
174
click to vote
SSS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
202
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of computing an approximate minimum cycle basis of an undirected non-negative edge-weighted graph G with m edges and n vertices; the extension to directed ...
156
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...