Sciweavers

1778 search results - page 185 / 356
» Building a Knowledge Base: An Example
Sort
View
113
Voted
ATAL
2006
Springer
15 years 7 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...
134
Voted
ESWS
2007
Springer
15 years 9 months ago
Understanding Large Volumes of Interconnected Individuals by Visual Exploration
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
Olaf Noppens, Thorsten Liebig
119
Voted
DEXAW
2008
IEEE
126views Database» more  DEXAW 2008»
15 years 5 months ago
Meta Analysis within Authorship Verification
In an authorship verification problem one is given writing examples from an author A, and one is asked to determine whether or not each text in fact was written by A. In a more ge...
Benno Stein, Nedim Lipka, Sven Meyer zu Eissen
125
Voted
LOGCOM
2000
63views more  LOGCOM 2000»
15 years 3 months ago
Reflection principles in computational logic
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Co...
121
Voted
ICIP
2009
IEEE
16 years 4 months ago
A Resource Allocation Framework For Summarizing Team Sport Videos
We propose a flexible summarization framework for teamsport videos, which is able to integrate both the knowledge about displayed content (e.g. level of interest, type of view, et...