Sciweavers

2266 search results - page 225 / 454
» How Not to Evaluate a Developmental System
Sort
View
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
16 years 6 months ago
The Design of an Acquisitional Query Processor For Sensor Networks
We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is...
Samuel Madden, Michael J. Franklin, Joseph M. Hell...
AIED
2009
Springer
16 years 1 months ago
Intelligent Support for Inquiry Learning from Images: A Learning Scenario and Tool
Inquiry learning involves the learner acquiring new concepts and skills by means of carrying out an investigation. Some previous studies have looked into how these learning activit...
Paul Mulholland, Zdenek Zdráhal, Jan Abraha...
CVPR
2006
IEEE
16 years 8 months ago
Automatic Cast Listing in Feature-Length Films with Anisotropic Manifold Space
Our goal is to automatically determine the cast of a feature-length film. This is challenging because the cast size is not known, with appearance changes of faces caused by extrin...
Ognjen Arandjelovic, Roberto Cipolla
ECOOP
2009
Springer
16 years 7 months ago
Loci: Simple Thread-Locality for Java
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zha...
CADE
2008
Springer
16 years 6 months ago
Proving Bounds on Real-Valued Functions with Computations
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
Guillaume Melquiond