15416 search results - page 2721 / 3084 » Embeddings of Computable Structures |
153
click to vote
GCC
2003
Springer
16 years 1 days ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...
231
click to vote
ICLP
2003
Springer
16 years 1 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
158
click to vote
ICMI
2003
Springer
16 years 1 days ago
2003
Springer
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
193
click to vote
ICVS
2003
Springer
16 years 1 days ago
2003
Springer
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
174
click to vote
IICS
2003
Springer
16 years 23 hour ago
2003
Springer
Both human users and crawlers face the problem of finding good start pages to explore some topic. We show how to assist in qualifying pages as start nodes by link-based ranking al...