184 search results - page 2 / 37 » A Gessel-Viennot-Type Method for Cycle Systems in a Directed... |
WSC
1997
13 years 5 months ago
1997
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
FSTTCS
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
MOBICOM
2006
ACM
13 years 10 months ago
2006
ACM
Wireless sensor networks are tightly associated with the underlying environment in which the sensors are deployed. The global topology of the network is of great importance to bot...
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
In this paper, we establish the exact relationship between the continuous and the discrete phase-difference of two shifted images, and show that their discrete phase difference is...
GECCO
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...