1915 search results - page 270 / 383 » A language for functional interpretation of model based simu... |
143
click to vote
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
136
click to vote
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
: We report on a new kind of culturally-authentic embodied conversational agent more in line with the ways that culture and ethnicity function in the real world. On the basis of th...
196
Voted
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...
121
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
150
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...