4962 search results - page 448 / 993 » Stochastic Model Checking |
119
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
A grouping genetic algorithm (GGA) for the university course timetabling problem is outlined. We propose six different fitness functions, all sharing the same common goal, and look...
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates the tradeoff between reliability and effectiveness for the IPv4 Zeroconf protocol, proposed by Cheshire/Adoba/Guttman in 2002, dedicated to the selfconfig...
127
click to vote
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
103
click to vote
NAACL
2007
15 years 5 months ago
2007
The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stocha...
158
Voted
NIPS
2001
15 years 5 months ago
2001
We consider the problem of learning to attain multiple goals in a dynamic environment, which is initially unknown. In addition, the environment may contain arbitrarily varying ele...