5434 search results - page 99 / 1087 » Tool support for MOLA |
136
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes the design and deployment of a collaborative software tool, designed for and presently in use on the Mars Exploration Rovers (MER) 2003 mission. Two central q...
169
click to vote
ERCIMDL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Walden’s Paths is a suite of tools that supports the creation and presentation of linear hypermedia paths—targeted collections that enable authors to reorganize and c...
173
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
167
click to vote
AVI
2008
15 years 8 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
181
click to vote
VDB
1998
15 years 7 months ago
1998
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...