2492 search results - page 293 / 499 » On the General Signature Trees |
265
Voted
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
174
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
We present an algorithm for identifying putative non-coding RNA (ncRNA) using an RCSG (RNA Common-Structural Grammar) and show the effectiveness of the algorithm. The algorithm con...
160
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...
151
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
This article introduces a new way of understanding subjective probability and its generalization to lower and upper prevision. Instead of asking whether a person is willing to pay...
176
click to vote
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes the deployment and evaluation of a 700MHz WiFi-based Wireless Mesh Network (WMN) testbed. To our knowledge, this is the world’s first WiFi-based testbed us...