528 search results - page 104 / 106 » Construction of concrete verification models from C |
BMCBI
2006
13 years 5 months ago
2006
Background: The Lepidoptera Spodoptera frugiperda is a pest which causes widespread economic damage on a variety of crop plants. It is also well known through its famous Sf9 cell ...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
CGO
2010
IEEE
14 years 19 days ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
WABI
2009
Springer
14 years 10 days ago
2009
Springer
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...
AVSS
2007
IEEE
14 years 3 days ago
2007
IEEE
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...