Sciweavers

1700 search results - page 246 / 340
» Combinatorial Pattern Matching
Sort
View
109
Voted
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 24 days ago
Small NFAs from Regular Expressions: Some Experimental Results
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
Hugo Gouveia, Nelma Moreira, Rogério Reis
94
Voted
ENTCS
2008
86views more  ENTCS 2008»
15 years 24 days ago
Game Semantics for Quantum Stores
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
Yannick Delbecque, Prakash Panangaden
105
Voted
TCS
2008
15 years 19 days ago
Semantic subtyping for the pi-calculus
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
Giuseppe Castagna, Rocco De Nicola, Daniele Varacc...
TIFS
2008
123views more  TIFS 2008»
15 years 19 days ago
Digital Single Lens Reflex Camera Identification From Traces of Sensor Dust
Abstract--Digital single lens reflex cameras suffer from a wellknown sensor dust problem due to interchangeable lenses that they deploy. The dust particles that settle in front of ...
Ahmet Emir Dirik, Husrev T. Sencar, Nasir D. Memon
96
Voted
COGSCI
2004
97views more  COGSCI 2004»
15 years 17 days ago
A rhythm recognition computer program to advocate interactivist perception
This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recog...
Jean-Christophe Buisson