27827 search results - page 214 / 5566 » Generating |
ERCIMDL
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
105
click to vote
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
The availability of a document’s logical structure in XML retrieval allows retrieval systems to return document portions (elements) instead of whole documents. This helps searche...
IICAI
2007
15 years 1 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
MVA
2007
15 years 1 months ago
2007
The ability to analyze and reproduce specific-person facial expression is an important multimedia content service for mobile communication. In this paper, a novel three-layer faci...