4066 search results - page 620 / 814 » Almost Complete Sets |
191
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
168
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
162
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...
229
click to vote
CICLING
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Professional translators of technical documents often use Translation Memory (TM) systems in order to capitalize on the repetitions frequently observed in these documents...
228
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...