15754 search results - page 754 / 3151 » Programs are Knowledge Bases |
182
click to vote
FLAIRS
2000
15 years 9 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
206
click to vote
NC
2006
15 years 7 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
202
click to vote
ICMLC
2010
Springer
15 years 6 months ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
209
click to vote
TCBB
2010
15 years 6 months ago
2010
— We present efficient cache-oblivious algorithms for some well-studied string problems in bioinformatics including the longest common subsequence, global pairwise sequence alig...
252
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...