Sciweavers

2540 search results - page 342 / 508
» Abstract Logics as Dialgebras
Sort
View
ISCI
2007
117views more  ISCI 2007»
13 years 10 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky
ENTCS
2002
71views more  ENTCS 2002»
13 years 10 months ago
A Simplified Account of the Metatheory of Linear LF
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
Joseph Vanderwaart, Karl Crary
KI
2010
Springer
13 years 9 months ago
Putting People's Common Sense into Knowledge Bases of Household Robots
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
Lars Kunze, Moritz Tenorth, Michael Beetz
MMMACNS
2010
Springer
13 years 9 months ago
Credentials Management for High-Value Transactions
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Kart...
POPL
2009
ACM
14 years 11 months ago
Compositional shape analysis by means of bi-abduction
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...