Sciweavers

1146 search results - page 87 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
SCP
2000
119views more  SCP 2000»
14 years 9 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
MMSEC
2006
ACM
195views Multimedia» more  MMSEC 2006»
15 years 3 months ago
Image annotation watermarking: nested object embedding using hypergraph model
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
Claus Vielhauer, Maik Schott
CIKM
2010
Springer
14 years 4 months ago
On the definition of patterns for semantic annotation
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
Mónica Marrero, Julián Urbano, Jorge...
AIRS
2010
Springer
14 years 7 months ago
Advanced Training Set Construction for Retrieval in Historic Documents
Retrieval in historic documents with non-standard spelling requires a mapping from search terms onto the historic terms in the document. For describing this mapping, we have develo...
Andrea Ernst-Gerlach, Norbert Fuhr
ICALT
2008
IEEE
15 years 4 months ago
Deriving E-Assessment from a Competency Model
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis