Sciweavers

2302 search results - page 289 / 461
» Basic Description Logics
Sort
View
SIGGRAPH
1994
ACM
15 years 10 months ago
Drawing and animation using skeletal strokes
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
Siu Chi Hsu, Irene H. H. Lee
BIRTHDAY
2008
Springer
15 years 8 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
LREC
2010
138views Education» more  LREC 2010»
15 years 7 months ago
Corpus Aligner (CorAl) Evaluation on English-Croatian Parallel Corpora
An increasing demand for new language resources of recent EU members and accessing countries has in turn initiated the development of different language tools and resources, such ...
Sanja Seljan, Marko Tadic, Zeljko Agic, Jan Snajde...
IRCDL
2008
15 years 7 months ago
Using MPEG-7 for Automatic Annotation of Audiovisual Content in eLearning Digital Libraries
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
Giuseppe Amato, Paolo Bolettieri, Franca Debole, F...
SDL
2001
110views Hardware» more  SDL 2001»
15 years 7 months ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...