1237 search results - page 102 / 248 » Strictness and Totality Analysis |
192
click to vote
APN
1992
Springer
15 years 10 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
146
click to vote
WSC
2001
15 years 7 months ago
2001
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...
165
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Many researchers are concerned with the comparability and reliability of microarray gene expression data. Recent completion of the MicroArray Quality Control (MAQC) pr...
181
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a frequency method to estimate the state open or closed of eye and mouth and to detect associated motion events such as blinking and yawning. The context of th...
152
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microarray experiments examine the change in transcript levels of tens of thousands of genes simultaneously. To derive meaningful data, biologists investigate the resp...