3424 search results - page 298 / 685 » Automated Testing of Classes |
154
Voted
CSL
2009
Springer
16 years 1 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
170
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
165
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
160
click to vote
ICCBR
2007
Springer
16 years 27 days ago
2007
Springer
This paper introduces the approach CBRDIA (Case Based Reasoning for Document Invoice Analysis) which uses the principles of case-based reasoning to analyze, recognize and interpret...
179
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...