Sciweavers

1498 search results - page 75 / 300
» Creating Links into the Future
Sort
View
IPPS
2003
IEEE
14 years 2 months ago
A UNITY-Based Formalism for Dynamic Distributed Systems
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
Daniel M. Zimmerman
ITCC
2003
IEEE
14 years 2 months ago
Designer Adaptation in Adaptive Hypermedia Authoring
Recently, the importance of creating authoring support for adaptive hypermedia system design offering multimodality and personalization is becoming evident [4][5][6][7][1]. In the...
Alexandra I. Cristea, Arnout de Mooij
ICAIL
2007
ACM
14 years 22 days ago
AVERs: an argument visualization tool for representing stories about evidence
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
Susan W. van den Braak, Gerard Vreeswijk, Henry Pr...
ERCIMDL
2000
Springer
95views Education» more  ERCIMDL 2000»
14 years 14 days ago
A Digital Library of Native American Images
This paper summarizes the organizational and technical issues involved in creating a digital library of Native American images. Initial participants include a museum, an archives, ...
Elaine Peterson
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
14 years 12 days ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti