950 search results - page 31 / 190 » presence 2008 |
CE
2008
13 years 9 months ago
2008
Motivation and pressure are considered two factors impacting vocational senior high school student learning. New communication technology, especially mobile communication technolo...
ENTCS
2008
13 years 9 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
FUIN
2008
13 years 9 months ago
2008
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
IPL
2008
13 years 9 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
JAIR
2008
13 years 9 months ago
2008
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...