5290 search results - page 154 / 1058 » Knowledge Processing in Intelligent Systems |
140
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper is about the design and implementation of an information system, using Wiki technology to improve the emergency preparedness efforts of the Claremont University Consort...
132
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
105
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
117
click to vote
JCP
2008
15 years 2 months ago
2008
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
144
click to vote
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...