7661 search results - page 1206 / 1533 » Languages and the Computing Profession |
173
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a ma...
199
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
313
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce an object-oriented referencing abstraction to express coordination between objects hosted on mobile devices interconnected by a wireless ad hoc network. On t...
197
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
172
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...