403 search results - page 6 / 81 » Flexible Data Searchs using Condition Formulas |
110
click to vote
SIGSOFT
2007
ACM
16 years 5 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
FLAIRS
2004
15 years 25 days ago
2004
The Heavy Weight Deflectometer (HWD) test is one of the most widely used tests for assessing the structural integrity of airport pavements in a non-destructive manner. The elastic...
102
Voted
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
149
click to vote
DICTA
2008
15 years 26 days ago
2008
This paper explores how to exploit shape information to perform object class recognition. We use a sparse partbased model to describe object categories defined by shape. The spars...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...