Sciweavers

6740 search results - page 405 / 1348
» Using Classification as a Programming Language
Sort
View
219
Voted
POPL
2012
ACM
14 years 3 months ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan
HIPEAC
2007
Springer
15 years 11 months ago
Efficient Program Power Behavior Characterization
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
Chunling Hu, Daniel A. Jiménez, Ulrich Krem...
OZCHI
2009
ACM
16 years 2 months ago
Using a multi-touch tabletop for upper extremity motor rehabilitation
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
Michelle Annett, Fraser Anderson, Darrell Goertzen...
ECOOPW
1999
Springer
15 years 11 months ago
Piccola - A Small Composition Language
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
Oscar Nierstrasz
195
Voted
ICIP
2009
IEEE
16 years 8 months ago
Optimum Kernel Function Design From Scale Space Features For Object Detection
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...