1561 search results - page 55 / 313 » Probability Theory on IF Events |
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
EUSFLAT
2007
14 years 11 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...
113
click to vote
BMCBI
2006
14 years 9 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...