4325 search results - page 528 / 865 » Incremental computation with names |
207
click to vote
AIHC
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes an intelligent system that we developed to support affective multimodal human-computer interaction (AMM-HCI) where the user’s actions and emotions are modele...
173
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
167
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
180
click to vote
ACSC
2006
IEEE
16 years 25 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
188
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...