2012 search results - page 402 / 403 » CORAL - Control, Relations and Logic |
122
click to vote
COMPUTER
2002
15 years 1 days ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...
JCSS
2000
15 years 17 hour ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...
112
click to vote
KI
2002
Springer
14 years 12 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
113
Voted
ML
2002
ACM
14 years 12 months ago
2002
ACM
Most classification algorithms receive as input a set of attributes of the classified objects. In many cases, however, the supplied set of attributes is not sufficient for creatin...
108
Voted
TDSC
2010
14 years 10 months ago
2010
—Soft errors (or Transient faults) are temporary faults that arise in a circuit due to a variety of internal noise and external sources such as cosmic particle hits. Though soft ...