Sciweavers

1612 search results - page 232 / 323
» Asynchronous Pattern Matching
Sort
View
TCS
2008
13 years 10 months 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»
13 years 10 months 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
COGSCI
2004
97views more  COGSCI 2004»
13 years 10 months 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
JUCS
2000
91views more  JUCS 2000»
13 years 9 months ago
Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
J. Gerard Wolff
PR
2000
120views more  PR 2000»
13 years 9 months ago
On internal representations in face recognition systems
This survey compares internal representations of the recent as well as more traditional face recognition techniques to classify them into several broad categories. The categories ...
Maxim A. Grudin