Sciweavers

7352 search results - page 1418 / 1471
» Universal access to information
Sort
View
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
14 years 2 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
ISER
2004
Springer
143views Robotics» more  ISER 2004»
14 years 2 months ago
Imitation Learning Based on Visuo-Somatic Mapping
Abstract. Imitation learning is a powerful approach to humanoid behavior generation, however, the most existing methods assume the availability of the information on the internal s...
Minoru Asada, Masaki Ogino, Shigeo Matsuyama, Jun'...
VLDB
2004
ACM
106views Database» more  VLDB 2004»
14 years 2 months ago
Structures, Semantics and Statistics
At a fundamental level, the key challenge in data integration is to reconcile the semantics of disparate data sets, each expressed with a different database structure. I argue th...
Alon Y. Halevy
SIGCSE
2010
ACM
219views Education» more  SIGCSE 2010»
14 years 2 months ago
The design of an online environment to support pedagogical code reviews
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
Christopher D. Hundhausen, Anukrati Agrawal, Kyle ...
ACSC
2003
IEEE
14 years 2 months ago
Context-Sensitive Mobile Database Summarisation
In mobile computing environments, as a result of the reduced capacity of local storage, it is commonly not feasible to replicate entire datasets on each mobile unit. In addition, ...
Darin Chan, John F. Roddick
« Prev « First page 1418 / 1471 Last » Next »