2223 search results - page 315 / 445 » Multimedia structuring using trees |
133
click to vote
JUCS
2006
15 years 5 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
167
click to vote
EUROPAR
2011
Springer
14 years 4 months ago
2011
Springer
Most applications manipulate structured data. Modern languages and platforms provide collection frameworks with basic data structures like lists, hashtables and trees. These data ...
147
click to vote
JACM
2000
15 years 4 months ago
2000
A simple variant of a priority queue, called a soft heap, is introduced. The data structure supports the usual operations: insert, delete, meld, and findmin. Its novelty is to beat...
155
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...
159
click to vote
CIVR
2009
Springer
15 years 11 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...