Sciweavers

1822 search results - page 115 / 365
» The Method of Assigning Incidences
Sort
View
ICTAI
2003
IEEE
15 years 9 months ago
MFSAT: A SAT Solver Using Multi-Flip Local Search
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
Amol Dattatraya Mali, Yevgeny Lipen
EPS
1995
Springer
15 years 8 months ago
PANIC: A Parallel Evolutionary Rule Based System
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
Antonella Giani, Fabrizio Baiardi, Antonina Starit...
CMMR
2008
Springer
152views Music» more  CMMR 2008»
15 years 6 months ago
Labelling the Structural Parts of a Music Piece with Markov Models
Abstract. This paper describes a method for labelling structural parts of a musical piece. Existing methods for the analysis of piece structure often name the parts with musically ...
Jouni Paulus, Anssi Klapuri
IJCV
2010
168views more  IJCV 2010»
15 years 3 months ago
Baselines for Image Annotation
Automatically assigning keywords to images is of great interest as it allows one to retrieve, index, organize and understand large collections of image data. Many techniques have b...
Ameesh Makadia, Vladimir Pavlovic, Sanjiv Kumar
GIS
2010
ACM
15 years 2 months ago
Kernelized map matching
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...
Ahmed Jawad, Kristian Kersting