3090 search results - page 176 / 618 » On Testing Answer-Set Programs |
143
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
171
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
125
click to vote
CAINE
2004
15 years 6 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
125
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
147
Voted
JIKM
2006
15 years 5 months ago
2006
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...