Sciweavers

5539 search results - page 32 / 1108
» What can be computed locally
Sort
View
VECPAR
2004
Springer
14 years 3 months ago
PerWiz: A What-If Prediction Tool for Tuning Message Passing Programs
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
Fumihiko Ino, Yuki Kanbe, Masao Okita, Kenichi Hag...
AGP
1994
IEEE
14 years 2 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
14 years 6 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
ICCV
2001
IEEE
14 years 11 months ago
What Value Covariance Information in Estimating Vision Parameters?
Many parameter estimation methods used in computer vision are able to utilise covariance information describing the uncertainty of data measurements. This paper considers the valu...
Michael J. Brooks, Wojciech Chojnacki, Darren Gawl...
SIGCSE
2006
ACM
211views Education» more  SIGCSE 2006»
14 years 3 months ago
Multimodal communication in the classroom: what does it mean for us?
Experimentation has shown that in-class educational technologies, by permitting anonymous, authored participation, can dramatically alter student communications in the classroom. ...
Tamara Denning, William G. Griswold, Beth Simon, M...