3710 search results - page 268 / 742 » A new calculus of contexts |
175
click to vote
IJCAI
1989
15 years 8 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
209
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an interactive visualization system for the analysis of Gaussian mixture speaker models. The system exhibits the inner workings of the model intuitively by visualizing ...
211
Voted
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
Many HCI researchers have recently begun to examine the opportunities to use ICTs to promote environmental sustainability and ecological consciousness on the part of technology us...
203
Voted
AUTOMATICA
2008
15 years 7 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
193
Voted
CCR
2010
15 years 7 months ago
2010
Multi-core CPUs, along with recent advances in memory and buses, render commodity hardware a strong candidate for software router virtualization. In this context, we present the d...