491 search results - page 92 / 99 » Linear Quantifier Elimination |
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
CPAIOR
2009
Springer
14 years 2 months ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
C3S2E
2009
ACM
14 years 2 months ago
2009
ACM
This article introduces Nohalo level 1 (“Nohalo”), the simplest member of a family of image resamplers which straighten diagonal interfaces without adding noticeable nonlinear...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
The Corner Table (CT) promoted by Rossignac et al. provides a simple and efficient representation of triangle meshes, storing 6 integer references per triangle (3 vertex reference...