Sciweavers

8624 search results - page 1520 / 1725
» Designing example-critiquing interaction
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 4 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
16 years 4 days ago
The Multimedian Concert-Video Browser
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
Ynze van Houten, Suphi Umut Naci, Bauke Freiburg, ...
ICRA
2005
IEEE
137views Robotics» more  ICRA 2005»
16 years 4 days ago
Learning Opportunity Costs in Multi-Robot Market Based Planners
— Direct human control of multi-robot systems is limited by the cognitive ability of humans to coordinate numerous interacting components. In remote environments, such as those e...
Jeff G. Schneider, David Apfelbaum, Drew Bagnell, ...
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 4 days ago
Integrating Tactile and Force Feedback with Finite Element Models
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
Christopher R. Wagner, Douglas P. Perrin, Ross L. ...
INFOVIS
2005
IEEE
16 years 4 days ago
Elastic Hierarchies: Combining Treemaps and Node-Link Diagrams
We investigate the use of elastic hierarchies for representing trees, where a single graphical depiction uses a hybrid mixture, or “interleaving”, of more basic forms at diffe...
Shengdong Zhao, Michael J. McGuffin, Mark H. Chign...
« Prev « First page 1520 / 1725 Last » Next »