2632 search results - page 296 / 527 » Alternating Timed Automata |
170
click to vote
ISPAN
2005
IEEE
16 years 23 days ago
2005
IEEE
Abstract—In real networks, disjoint paths are needed for providing protection against single link/node failure. When disjoint paths cannot be found, an alternative solution is to...
211
click to vote
BIRTHDAY
2005
Springer
16 years 22 days ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
169
click to vote
COORDINATION
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. There are many ways of achieving scalable dynamic web content. In previous work we have focused on dynamic content degradation using a standard architecture and a design-...
192
click to vote
EMO
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. While Single-Objective Evolutionary Algorithms (EAs) parallelization schemes are both well established and easy to implement, this is not the case for Multi-Objective Evo...
194
click to vote
EWMF
2005
Springer
16 years 22 days ago
2005
Springer
In this paper, we review two techniques for topic discovery in collections of text documents (Latent Semantic Indexing and K-Means clustering) and present how we integrated them in...