2409 search results - page 367 / 482 » Logical systems for structured specifications |
137
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
139
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The StoryBank project in the UK is exploring the application of digital storytelling technology to information sharing in the developing world. A multidisciplinary team of interac...
115
click to vote
CIDR
2007
15 years 5 months ago
2007
Current web search engines essentially conduct document-level ranking and retrieval. However, structured information about realworld objects embedded in static webpages and online...
169
click to vote
IPCV
2008
15 years 5 months ago
2008
The main objective of this paper is to provide an efficient tool for delineating brain tumors in three-dimensional magnetic resonance images. To achieve this goal, we use basically...
101
click to vote
LREC
2008
15 years 5 months ago
2008
The paper provides an overview of the Polish Speech Database for taking dictation of legal texts, created for the purpose of LVCSR system for Polish. It presents background inform...