Sciweavers

314 search results - page 57 / 63
» Active Learning with Irrelevant Examples
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 4 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
WETICE
2000
IEEE
15 years 4 months ago
Evaluation Challenges for a Federation of Heterogeneous Information Providers: The Case of NASA's Earth Science Information Part
NASA’s Earth Science Information Partnership Federation is an experiment funded to assess the ability of a group of widely heterogeneous earth science data or service providers ...
Catherine Plaisant, Anita Komlodi, Francis Lindsay
VRST
1999
ACM
15 years 4 months ago
The London Travel Demonstrator
Travel can be a stressful experience and it is an activity that is difficult to prepare for in advance. Although maps, routes and landmarks can be memorised, travellers do not get...
Anthony Steed, Emmanuel Frécon, Anneli Avat...
IFIP
1993
Springer
15 years 3 months ago
Computer Science in Elementary and Secondary Schools
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
Viera K. Proulx
CIVR
2008
Springer
181views Image Analysis» more  CIVR 2008»
15 years 1 months ago
Supporting video library exploratory search: when storyboards are not enough
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...
Michael G. Christel