3505 search results - page 165 / 701 » Information Theory and the IrisCode |
86
Voted
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
92
Voted
MKM
2007
Springer
15 years 4 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
97
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
52
Voted
ECIS
2003
14 years 11 months ago
2003
Although different strands of “post-approaches” and “post-theories”, for example, grounded theory and structuration theory, have gained popularity in Information Systems (...
IJCAI
2001
14 years 11 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...