6413 search results - page 17 / 1283 » Classes of cycle bases |
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we suggest that if semantics are to fullfil their potential in the learning domain then a paradigm shift in perspective is necessry from information based content de...
FSTTCS
2001
Springer
15 years 2 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...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
119
click to vote
ANTSW
2010
Springer
14 years 7 months ago
2010
Springer
We introduce a novel multi-agent patrolling strategy. By assumption, the swarm of agents performing the task consists of very low capability ant-like agents. The agents have littl...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— In sensor networks, MAC protocols based on Time Division Multiple Access (TDMA) with wakeup and sleep periods have attracted considerable interest because of their low power co...