1860 search results - page 117 / 372 » Structured Multimedia Authoring |
169
click to vote
HSNMC
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a new update algorithm for Internet Protocol (IP) forwarding tables. The update algorithm is so general that it can be combined with many IP address lookup alg...
178
click to vote
HIM
1997
Springer
15 years 8 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
130
Voted
ITS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
183
click to vote
RIAO
2000
15 years 6 months ago
2000
The presence of XML in many recent hypermedia management tools and methods (W3I3, SMIL, etc.) shows better than ever that both structural and textual criteria will continue to pla...
193
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...