Sciweavers

1960 search results - page 179 / 392
» The Logic of Large Enough
Sort
View
ICSE
2009
IEEE-ACM
14 years 4 months ago
Automated substring hole analysis
Code coverage is a common measure for quantitatively assessing the quality of software testing. Code coverage indicates the fraction of code that is actually executed by tests in ...
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pel...
ICALT
2009
IEEE
14 years 4 months ago
Learning Activity Spaces: Towards Flexibility in Learning Design?
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
Anne Lejeune, Muriel Ney, Armin Weinberger, Margus...
RTAS
2009
IEEE
14 years 4 months ago
QeDB: A Quality-Aware Embedded Real-Time Database
QeDB is a database for data-intensive real-time applications running on flash memory-based embedded systems. Currently, databases for embedded systems are best effort, providing ...
Woochul Kang, Sang Hyuk Son, John A. Stankovic
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
14 years 4 months ago
Model-based and learned semantic object labeling in 3D point cloud maps of kitchen environments
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...
Radu Bogdan Rusu, Zoltan Csaba Marton, Nico Blodow...
UIC
2009
Springer
14 years 3 months ago
Printing in Ubiquitous Computing Environments
Document printing has long been considered an indispensable part of the workspace. While this process is considered trivial and simple for environments where resources are ample (e...
Athanasios Karapantelakis, Alisa Devlic, Mohammad ...