Sciweavers

1884 search results - page 188 / 377
» Simple Algorithm for Simple Timed Games
Sort
View
ICPR
2010
IEEE
15 years 9 months ago
Spatial Representation for Efficient Sequence Classification
We present a general, simple feature representation of sequences that allows efficient inexact matching, comparison and classification of sequential data. This approach, recently ...
Pavel Kuksa, Vladimir Pavlovic
CAV
2008
Springer
170views Hardware» more  CAV 2008»
15 years 8 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
GLVLSI
2007
IEEE
153views VLSI» more  GLVLSI 2007»
15 years 8 months ago
Address generation for nanowire decoders
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
Jia Wang, Ming-Yang Kao, Hai Zhou
JGTOOLS
2006
72views more  JGTOOLS 2006»
15 years 6 months ago
Efficient Generation of Poisson-Disk Sampling Patterns
Poisson Disk sampling patterns are of interest to the graphics community because their blue-noise properties are desirable in sampling patterns for rendering, illumination, and ot...
Thouis R. Jones
JMLR
2006
135views more  JMLR 2006»
15 years 6 months ago
Statistical Comparisons of Classifiers over Multiple Data Sets
While methods for comparing two learning algorithms on a single data set have been scrutinized for quite some time already, the issue of statistical tests for comparisons of more ...
Janez Demsar