392 search results - page 14 / 79 » Negation as Partial Failure |
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
LAMAS
2005
Springer
14 years 1 months ago
2005
Springer
Use of tags to limit partner selection for playing has been shown to produce stable cooperation in agent populations playing the Prisoner’s Dilemma game. There is, however, a lac...
ICDCS
2012
IEEE
11 years 10 months ago
2012
IEEE
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...
IJDAR
2008
13 years 7 months ago
2008
For character recognition in document analysis, some classes are closely overlapped but are not necessarily to be separated before contextual information is exploited. For classifi...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...