988 search results - page 144 / 198 » SenseNet: A Knowledge Representation Model for Computational... |
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
AIMS
2007
Springer
14 years 3 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...