1937 search results - page 99 / 388 » Rule Based Updates on Simple Knowledge Bases |
155
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
140
Voted
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
190
click to vote
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a Named Entity Recognition (NER) method dedicated to process speech transcriptions. The main principle behind this method is to collect in an unsupervised way ...
259
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
126
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...