1778 search results - page 131 / 356 » Building a Knowledge Base: An Example |
122
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
124
Voted
JAIR
2011
14 years 7 months ago
2011
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
100
Voted
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
121
Voted
DASC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
106
Voted
WOWMOM
2005
ACM
15 years 6 months ago
2005
ACM
Distributed trust and reputation management mechanisms are often proposed as a means of providing assurance in dynamic and open environments by enabling principals to building up ...