1438 search results - page 144 / 288 » An Expressive Extension of TLC |
191
click to vote
ICIP
2005
IEEE
16 years 3 days ago
2005
IEEE
We propose a robust face alignment algorithm with a novel discriminative local texture model. Different from the conventional descriptive PCA local texture model in ASM, classifie...
195
click to vote
ACMICEC
2005
ACM
16 years 2 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
150
click to vote
APLAS
2005
ACM
16 years 2 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
177
click to vote
ASM
2005
ASM
16 years 1 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
146
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...