7681 search results - page 28 / 1537 » Typed Membrane Systems |
FUIN
2006
13 years 8 months ago
2006
This paper is an attempt to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we cal...
JUCS
2007
13 years 8 months ago
2007
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
In this paper, human facial articulation models are derived from frontal and side view image sequences using connected vibrations non-rigid motion tracking algorithm. First, a 3D ...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...