3082 search results - page 357 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
ISCI
2002
15 years 6 months ago
2002
In this paper, we report our recent work on closed form solutions to the blocking and dropping probability in wireless cellular networks with handoff. First, we develop a performa...
184
click to vote
EOR
2007
15 years 6 months ago
2007
In this paper is presented a new model for data clustering, which is inspired from the selfassembly behavior of real ants. Real ants can build complex structures by connecting the...
236
click to vote
IWNAS
2008
IEEE
16 years 28 days ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
168
click to vote
IBPRIA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...
194
click to vote
IDA
2006
Springer
15 years 6 months ago
2006
Springer
The analysis of microarray data from time-series experiments requires specialised algorithms, which take the temporal ordering of the data into account. In this paper we explore a ...