9455 search results - page 380 / 1891 » The Modelling Language Zinc |
108
click to vote
IANDC
2006
15 years 6 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
118
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We build word models for American Sign Language (ASL) that transfer between different signers and different aspects. This is advantageous because one could use large amounts of la...
206
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. This paper presents a novel approach to sign language recognition that provides extremely high classification rates on minimal training data. Key to this approach is a 2 ...
172
Voted
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
160
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...