Sciweavers

2316 search results - page 146 / 464
» The many forms of hypercomputation
Sort
View
IADIS
2003
15 years 6 months ago
A Standardizing Harvester Design for Durable Web Content
Online publications are becoming an important information source. Due to the variety of standards and other forms of best practices used in composing online publications, preserva...
Frans Dondorp, Kees van der Meer
IJCAI
2003
15 years 6 months ago
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Symmetry breaking in CSPs has attracted consid­ erable attention in recent years. Various general schemes have been proposed to eliminate sym­ metries during search. In general,...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
WSC
2001
15 years 6 months ago
Deterministic fluid models of congestion control in high-speed networks
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
Sanjay Shakkottai, R. Srikant
WSC
2004
15 years 6 months ago
Data Farming: Discovering Surprise
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
Gary E. Horne, Theodore E. Meyer
ACL
1998
15 years 6 months ago
Splitting Long or Ill-formed Input for Robust Spoken-language Translation
This paper proposes an input-splitting method for translating spoken-language which includes many long or ill-formed expressions. The proposed method splits input into well-balanc...
Osamu Furuse, Setsuo Yamada, Kazuhide Yamamoto