2661 search results - page 460 / 533 » Model Checking Performability Properties |
AINA
2010
IEEE
14 years 2 months ago
2010
IEEE
One important challenge in wireless ad hoc networks is to achieve collision free communication. Many MAC layer protocols have been proposed by considering various communication mod...
BMCBI
2007
13 years 10 months ago
2007
Background: An important step in annotation of sequenced genomes is the identification of transcription factor binding sites. More than a hundred different computational methods h...
TCSV
2011
13 years 5 months ago
2011
—We present in this paper an integrated solution to rapidly recognizing dynamic objects in surveillance videos by exploring various contextual information. This solution consists...
CEC
2011
IEEE
12 years 10 months ago
2011
IEEE
—Stochastic relaxation aims at finding the minimum of a fitness function by identifying a proper sequence of distributions, in a given model, that minimize the expected value o...
ICIP
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper is organized as follows. In Section 2, we formulate the proposed UMPC method for modeling nonstationary and multi-modal data. Both MPC and UPC are shown to be special ca...