Sciweavers

34229 search results - page 237 / 6846
» Power-aware computing systems
Sort
View
119
Voted
QEST
2008
IEEE
15 years 10 months ago
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
Najla Chamseddine, Marie Duflot, Laurent Fribourg,...
124
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
Secure, Resilient Computing Clusters: Self-Cleansing Intrusion Tolerance with Hardware Enforced Security (SCIT/HES)
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
David Arsenault, Arun Sood, Yih Huang
127
Voted
UIST
1999
ACM
15 years 8 months ago
Implementing Phicons: Combining Computer Vision with InfraRed Technology for Interactive Physical Icons
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
Darnell J. Moore, Roy Want, Beverly L. Harrison, A...
ICDAR
2007
IEEE
15 years 7 months ago
Computer Assisted Transcription of Handwritten Text Images
To date, automatic handwring recognition systems are far from being perfect and heavy human intervention is often required to check and correct the results of such systems. In ord...
Alejandro Hector Toselli, Verónica Romero, ...
165
Voted
POPL
1997
ACM
15 years 7 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp