2440 search results - page 211 / 488 » Explanation-Based Feature Construction |
140
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
173
click to vote
WSC
2008
15 years 7 months ago
2008
Service-Oriented Architecture (SOA) is an application framework used for creating complex enterprise systems by integrating distributed services. The SOA standards are primarily f...
126
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
122
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Given a connected graph G and a failure probability pe for each edge e in G, the reliability of G is the probability that G remains connected when each edge e is removed independe...
162
Voted
FC
2008
Springer
15 years 6 months ago
2008
Springer
Oblivious transfer (OT) is a fundamental primitive used in many cryptographic protocols, including general secure function evaluation (SFE) protocols. However, interaction is a pri...