11097 search results - page 15 / 2220 » Hera presentation generator |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
COST
2007
Springer
14 years 1 months ago
2007
Springer
The paper addresses the issue of making Virtual Humans unique and typical of some (social or ethnical) group, by endowing them with style. First a conceptual framework of defining ...
VAST
2004
ACM
14 years 1 months ago
2004
ACM
The benefits of including virtual humans into cultural heritage reconstructions are twofold: the realism of architectural models is increased by populating them; and, as well, it...
ITCC
2003
IEEE
14 years 1 months ago
2003
IEEE
The Web information space is rapidly growing in the size and the diversity of both its data and its audience. A consequence is that Web Information Systems (WIS) in many applicati...
CAISE
2003
Springer
14 years 28 days ago
2003
Springer
A federated Web-based multimedia information system on one hand gathers its data from various Web sources, on the other hand offers the end-user a rich semantics describing its co...