Sciweavers

6794 search results - page 763 / 1359
» Semantics of Visual Languages
Sort
View
ESWA
2007
136views more  ESWA 2007»
15 years 7 months ago
Semantic-based facial expression recognition using analytical hierarchy process
In this paper we present an automatic facial expression recognition system that utilizes a semantic-based learning algorithm using the analytical hierarchy process (AHP). Although...
Shyi-Chyi Cheng, Ming-Yao Chen, Hong-Yi Chang, Tzu...
POPL
2006
ACM
16 years 7 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
Reuben Olinsky, Christian Lindig, Norman Ramsey
POPL
2002
ACM
16 years 7 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
POPL
2002
ACM
16 years 7 months ago
Stochastic lambda calculus and monads of probability distributions
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
Norman Ramsey, Avi Pfeffer
CADE
2002
Springer
16 years 7 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks