580 search results - page 92 / 116 » Approximation Algorithms for Temporal Reasoning |
115
click to vote
AIRS
2004
Springer
15 years 7 months ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...
235
click to vote
NLP
2000
15 years 6 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...
155
click to vote
FMSD
2007
15 years 2 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
141
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Bucket testing, also known as A/B testing, is a practice that is widely used by on-line sites with large audiences: in a simple version of the methodology, one evaluates a new fea...
120
Voted
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
Splatting is a fast volume rendering algorithm which achieves its speed by projecting voxels in the form of pre-integrated interpolation kernels, or splats. Presently, two main va...