840 search results - page 75 / 168 » A low-complexity issue logic |
90
Voted
AAAI
2006
15 years 2 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
85
Voted
COLING
2006
15 years 19 days ago
2006
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...
400
click to vote
IJVR
2008
15 years 17 days ago
2008
We are exploring a new application of virtual and augmented reality for a novel direction in human-computer interaction named `cultural computing', which aims to provide a new...
101
click to vote
JCS
2006
15 years 16 days ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
SAC
2002
ACM
15 years 7 days ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...