3090 search results - page 382 / 618 » On Testing Answer-Set Programs |
190
Voted
FGCS
2007
15 years 6 months ago
2007
One of the topics of paramount importance in the development of Grid middleware is the impact of faults, since their probability of occurrence in a Grid infrastructure and in larg...
173
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
175
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
167
click to vote
JMLR
2010
15 years 1 months ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...
169
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Current practice in Human Computer Interaction as encouraged by educational institutes, academic review processes, and institutions with usability groups advocate usability evalua...