3424 search results - page 276 / 685 » Automated Testing of Classes |
169
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
203
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
189
Voted
INFOCOM
2003
IEEE
16 years 1 days ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
167
click to vote
ASP
2003
Springer
16 years 11 hour ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
214
click to vote
IGARSS
2009
15 years 4 months ago
2009
Automated classification of land cover types based on hyperspectral imagery often involves a large geographical area, but class labels are available for only small portions of the...