Sciweavers

4600 search results - page 203 / 920
» Presenting the cyclotactor project
Sort
View
ICST
2010
IEEE
13 years 8 months ago
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
Mijung Kim, Saurabh Sinha, Carsten Görg, Hina...
PR
2010
147views more  PR 2010»
13 years 8 months ago
A semi-supervised approach to space carving
In this paper, we present a semi-supervised approach to space carving by casting the recovery of volumetric data from multiple views into an evidence combining setting. The method...
Surya Prakash 0002, Antonio Robles-Kelly
VL
2010
IEEE
256views Visual Languages» more  VL 2010»
13 years 8 months ago
SheetDiff: A Tool for Identifying Changes in Spreadsheets
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
Chris Chambers, Martin Erwig, Markus Luckey
JCAL
2010
152views more  JCAL 2010»
13 years 5 months ago
Micro-adaptivity: protecting immersion in didactically adaptive digital educational games
The idea of utilizing the rich potential of today's computer games for educational purposes excites educators, scientists and technicians. Despite the significant hype over di...
Michael D. Kickmeier-Rust, Dietrich Albert
TSC
2010
159views more  TSC 2010»
13 years 4 months ago
A Mathematical Programming Approach for Server Consolidation Problems in Virtualized Data Centers
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
Benjamin Speitkamp, Martin Bichler