399 search results - page 48 / 80 » Combining the Animation and Testing of Abstract Data Types |
FASE
2010
Springer
14 years 2 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
BMCBI
2006
13 years 8 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...
IJCAI
2003
13 years 9 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind field. The geostatistical concept of the vari...
BMCBI
2011
12 years 11 months ago
2011
Background: Combining multiple evidence-types from different information sources has the potential to reveal new relationships in biological systems. The integrated information ca...