This paper describes an architectural framework adopting the principles of Service Oriented Architecture for deploying unified communications over the Internet. Also discuss the p...
Computational models of visual cortex, and in particular those based on sparse coding, have enjoyed much recent attention. Despite this currency, the question of how sparse or how...
Systems now exist which are able to con:pile unification gralmnars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial l...
Manny Rayner, Beth Ann Hockey, Frankie James, Eliz...
For the convincing modeling of virtual humans, realistic breathing is an important aspect. This paper is about the simulation of breathing, based on anatomical and physiological pr...
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...