971 search results - page 89 / 195 » Approximate Satisfiability and Equivalence |
110
click to vote
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
83
Voted
JSAC
2006
15 years 20 days ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
AAAI
2011
14 years 21 days ago
2011
Planning agents often lack the computational resources needed to build full planning trees for their environments. Agent designers commonly overcome this finite-horizon approxima...
96
Voted
EUROGP
1999
Springer
15 years 5 months ago
1999
Springer
Genetic programming is known to be capable of creating designs that satisfy prespecified high-level design requirements for analog electrical circuits and other complex structures...
92
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
We concentrate on automated synthesis of multitolerant programs, i.e., programs that tolerate multiple classes of faults and provide a (possibly) different level of fault-toleranc...