Sciweavers

959 search results - page 150 / 192
» Supervised semantic indexing
Sort
View
INFORMATICALT
2007
111views more  INFORMATICALT 2007»
13 years 7 months ago
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
Jurate Sakalauskaite
CORR
2004
Springer
143views Education» more  CORR 2004»
13 years 7 months ago
An argumentative annotation schema for meeting discussions
In this article, we are interested in the annotation of transcriptions of human-human dialogue taken from meeting records. We first propose a meeting content model where conversat...
Vincenzo Pallotta, Hatem Ghorbel, Patrick Ruch, Gi...
MCS
2008
Springer
13 years 7 months ago
Dynamical low-rank approximation: applications and numerical experiments
Dynamical low-rank approximation is a differential-equation based approach to efficiently computing low-rank approximations to time-dependent large data matrices or to solutions o...
Achim Nonnenmacher, Christian Lubich
COMPSYSTECH
2010
13 years 6 months ago
Anthropocentric video analysis for film and games postproduction
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...
Ioannis Pitas, Nikolaos Nikolaidis
ESWS
2010
Springer
13 years 5 months ago
A Web-Based Repository Service for Vocabularies and Alignments in the Cultural Heritage Domain
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...
Lourens van der Meij, Antoine Isaac, Claus Zinn