Sciweavers

2767 search results - page 320 / 554
» Universal Exponentiation Algorithm
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 8 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
FOCS
2003
IEEE
15 years 7 months ago
Learning DNF from Random Walks
We consider a model of learning Boolean functions from examples generated by a uniform random walk on {0, 1}n . We give a polynomial time algorithm for learning decision trees and...
Nader H. Bshouty, Elchanan Mossel, Ryan O'Donnell,...
ISCAS
2003
IEEE
107views Hardware» more  ISCAS 2003»
15 years 7 months ago
Automatic synchronization of speech transcript and slides in presentation
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
Yu Chen, Wei Jyh Heng
119
Voted
DATE
2010
IEEE
151views Hardware» more  DATE 2010»
15 years 7 months ago
A GPU based implementation of Center-Surround Distribution Distance for feature extraction and matching
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
Aditi Rathi, Michael DeBole, Weina Ge, Robert T. C...
SOFSEM
2009
Springer
15 years 7 months ago
Randomness and Determination, from Physics and Computing towards Biology
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
Giuseppe Longo