1278 search results - page 8 / 256 » Animation of User Algorithms on the Web |
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
GCC
2003
Springer
14 years 23 days ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...
WEBNET
1998
13 years 9 months ago
1998
: The Behavior Exchange is an AgentSheets-based forum employing the web for the collaborative creation of SimCityTM-like interactive simulations. While initially the Behavior Excha...
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...
PG
2003
IEEE
14 years 25 days ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...