1332 search results - page 136 / 267 » ideas 2008 |
145
click to vote
DSS
2008
15 years 4 months ago
2008
This paper addresses a content management problem in situations where we have a collection of spoken documents in audio stream format in one language and a collection of related t...
118
click to vote
ECEASST
2008
15 years 4 months ago
2008
: Graph parsing is known to be computationally expensive. For this reason the construction of special-purpose parsers may be beneficial for particular graph languages. In the domai...
138
click to vote
ECEASST
2008
15 years 4 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
134
click to vote
ECOI
2008
15 years 4 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
141
click to vote
ENTCS
2008
15 years 4 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...