94 search results - page 4 / 19 » Turning Cycles into Spirals |
FSTTCS
2001
Springer
13 years 12 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...
DCC
2011
IEEE
13 years 2 months ago
2011
IEEE
Using the structure of Singer cycles in general linear groups, we prove that a conjecture of Zeng, Han and He (2007) holds in the affirmative in a special case, and outline a plaus...
CANDC
2004
ACM
13 years 7 months ago
2004
ACM
A chief cybernetic feature of natural living systems is the recycling of nutrients, which tends to enhance stability and is one of the principal causes of ecosystem complexity. In...
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—We present a novel approach for minimizing the energy consumption of medium access control (MAC) protocols developed for duty-cycled wireless sensor networks (WSN) for the unslo...
JIIS
2002
13 years 7 months ago
2002
Our research aims at discovering useful knowledge from the large collection of satellite images of typhoons using data mining approaches. We first introduce the creation of the typ...