302 search results - page 23 / 61 » What happens in films |
HUC
2009
Springer
14 years 13 days ago
2009
Springer
Location-based ubiquitous computing systems are entering mainstream society and becoming familiar parts of everyday life. However, the settings in which they are deployed are alre...
CSL
2001
Springer
14 years 9 days ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
IVA
2001
Springer
14 years 8 days ago
2001
Springer
We describe the architecture of an interactive, “believable” agent with personality, called user agent, which can act on behalf of a user in various multi-user game contexts, w...
JAVA
2001
Springer
14 years 7 days ago
2001
Springer
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers. Hard economic reality is that many interesting opti...
IH
1999
Springer
14 years 2 days ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...