1716 search results - page 112 / 344 » Generating models for temporal representations |
158
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
145
click to vote
IJCAI
2007
15 years 5 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
103
Voted
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
131
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
138
click to vote
CLEF
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we explore the help of visual features to cross-language image retrieval. We propose an approach that transforms textual queries into visual representations. The re...