Search Sciweavers | Sciweavers

29

ESWA
2007

117views more ESWA 2007»

13 years 9 months ago

Hidden Markov Models, or HMMs for short, have been recently used in Bioinformatics for the classiﬁcation of DNA or protein chains, giving rise to what is known as Proﬁle Hidde...

José Gordillo, Eduardo Conde

claim paper

Read More »

21

click to vote

HEURISTICS
2007

76views more HEURISTICS 2007»

Metaheuristics can solve sudoku puzzles

13 years 9 months ago

Download www.cardiff.ac.uk

: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...

Rhyd Lewis

claim paper

Read More »

19

click to vote

JANCL
2007

86views more JANCL 2007»

Dynamic logics of the region-based theory of discrete spaces

13 years 9 months ago

Download www.irit.fr

The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...

claim paper

Read More »

22

click to vote

JAR
2007

132views more JAR 2007»

Visualizing SAT Instances and Runs of the DPLL Algorithm

13 years 9 months ago

Download www.carstensinz.de

SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware veriﬁcation or satisﬁability checking modulo theories (SMT). And althoug...

Carsten Sinz

claim paper

Read More »

32

click to vote

JC
2007

119views more JC 2007»

Deterministic constructions of compressed sensing matrices

13 years 9 months ago

Download www.math.tamu.edu

Compressed sensing is a new area of signal processing. Its goal is to minimize the number of samples that need to be taken from a signal for faithful reconstruction. The performan...

Ronald A. DeVore

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers