Sciweavers

3207 search results - page 118 / 642
» A Semantics for HTN Methods
Sort
View
DLOG
2003
14 years 11 months ago
Comparing Natural Language Documents: a DL Based Approach
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
Naouel Karam, Michel Schneider
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
14 years 4 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
IAT
2007
IEEE
15 years 4 months ago
Training Intelligent Agents in the Semantic Web Era: The Golf Advisor Agent
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
Ioannis N. Athanasiadis
SOFSEM
2007
Springer
15 years 4 months ago
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications
The increasing number of Semantic Web applications that work with ontologies implies an increased need for building ontological knowledge bases. In order to improve ontologies duri...
Peter Bartalos, Michal Barla, György Frivolt,...
ICMCS
2005
IEEE
114views Multimedia» more  ICMCS 2005»
15 years 3 months ago
On the surplus value of semantic video analysis beyond the key frame
Typical semantic video analysis methods aim for classification of camera shots based on extracted features from a single key frame only. In this paper, we sketch a video analysis...
Cees G. M. Snoek, Marcel Worring, Jan-Mark Geusebr...