734 search results - page 25 / 147 » Design and implementation of expressive footwear |
BIRTHDAY
1991
Springer
13 years 11 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
BPM
2009
Springer
14 years 2 months ago
2009
Springer
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...
CHI
1993
ACM
13 years 11 months ago
1993
ACM
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
ENTCS
2006
13 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...