19798 search results - page 222 / 3960 » Is Structural Subtyping Useful |
109
Voted
HASE
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
72
Voted
IJFCS
2008
15 years 20 days ago
2008
Hidden Markov models (HMMs) are effective tools to detect series of statistically homogeneous structures, but they are not well suited to analyse complex structures. Numerous meth...
133
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
We introduce a new structural constraint that can be used for matching points in image pairs taken from a wide baseline. No assumption is made about the geometry of the 3?D points...
97
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes a novel Recursive Neural Network for adaptive processing of FacE Emotion Tree Structures (FEETS). We proposed to use tree structures to represent Gabor Face E...