Sciweavers

5088 search results - page 371 / 1018
» Rich Internet Applications
Sort
View
ENTCS
2002
128views more  ENTCS 2002»
15 years 6 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
CSUR
1999
96views more  CSUR 1999»
15 years 6 months ago
Hypermedia on the Web: what will it take?
: Researchers in the hypermedia field often lament that the World Wide Web does not support many of hypermedia's rich structuring, navigation and annotation features. What wou...
Fabio Vitali, Michael Bieber
TELSYS
2002
126views more  TELSYS 2002»
15 years 6 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
TOG
2002
167views more  TOG 2002»
15 years 6 months ago
Interactive control of avatars animated with human motion data
Real-time control of three-dimensional avatars is an important problem in the context of computer games and virtual environments. Avatar animation and control is difficult, howeve...
Jehee Lee, Jinxiang Chai, Paul S. A. Reitsma, Jess...
182
Voted
IJRR
2010
91views more  IJRR 2010»
15 years 5 months ago
Design and Kinematic Modeling of Constant Curvature Continuum Robots: A Review
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
Robert J. Webster III, Bryan A. Jones