Sciweavers

2827 search results - page 457 / 566
» CCured in the real world
Sort
View
AIA
2007
14 years 11 months ago
Improving the aggregating algorithm for regression
Kernel Ridge Regression (KRR) and the recently developed Kernel Aggregating Algorithm for Regression (KAAR) are regression methods based on Least Squares. KAAR has theoretical adv...
Steven Busuttil, Yuri Kalnishkan, Alexander Gammer...
AIA
2007
14 years 11 months ago
Minimizing leakage: What if every gate could have its individual threshold voltage?
Designers aim at fast but low-power consuming integrated circuits. Since high processing speed always comes with high energy demands, the literature provides several ways to reduc...
Ralf Salomon, Frank Sill, Dirk Timmermann
APVIS
2010
14 years 11 months ago
Shape-based transfer functions for volume visualization
We present a novel classification technique for volume visualization that takes the shape of volumetric features into account. The presented technique enables the user to distingu...
Jörg-Stefan Praßni, Timo Ropinski, J&ou...
BCSHCI
2007
14 years 11 months ago
Envisioning future mobile spatial applications
This paper presents two empirical investigations of future applications of mobile spatial interaction, i.e. the use of mobile phones as pointers to the real world. In situated int...
Peter Fröhlich, Rainer Simon, Elisabeth Muss,...
CATS
2007
14 years 11 months ago
Planning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Lavindra de Silva, Anthony Dekker, James Harland