Search Sciweavers | Sciweavers

31387 search results - page 162 / 6278

» Abstracts

120

ISMIR
2005
Springer

169views Music» more ISMIR 2005»

A Pattern Extraction Algorithm for Abstract Melodic Representations that Allow Partial Overlapping of Intervallic Categories

16 years 3 hour ago

Download ismir2005.ismir.net

Emilios Cambouropoulos, Maxime Crochemore, Costas ...

claim paper

Read More »

144

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

16 years 3 hour ago

Download www.mathcs.emory.edu

James J. Lu

claim paper

Read More »

147

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 12 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

129

click to vote

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

15 years 12 months ago

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

121

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers