2632 search results - page 296 / 527 » Alternating Timed Automata |
116
Voted
ISPAN
2005
IEEE
15 years 9 months 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...
153
Voted
BIRTHDAY
2005
Springer
15 years 9 months 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...
119
Voted
COORDINATION
2005
Springer
15 years 9 months 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-...
138
Voted
EMO
2005
Springer
15 years 9 months 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...
131
click to vote
EWMF
2005
Springer
15 years 9 months 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...