1178 search results - page 109 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
157
click to vote
FUZZIEEE
2007
IEEE
16 years 20 days ago
2007
IEEE
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...
162
click to vote
IJCAI
2007
15 years 7 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
180
click to vote
PADL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
162
click to vote
SAMOS
2007
Springer
16 years 13 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
139
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...