683 search results - page 117 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
IVC
2008
13 years 6 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
BMCBI
2008
13 years 7 months ago
2008
Background: Much effort is currently made to develop the Gene Ontology (GO). Due to the dynamic nature of information it addresses, GO undergoes constant updates whose results are...
WECWIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
IJIG
2002
13 years 7 months ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
AC
2002
Springer
13 years 7 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...