2701 search results - page 179 / 541 » On the form of witness terms |
155
click to vote
TCS
2010
15 years 4 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
232
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
This paper addresses firstly an analysis on how an emergent leader is perceived in newly formed small-groups, and secondly, explore correlations between perception of leadership a...
164
click to vote
IRFC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
191
click to vote
IWEC
2010
15 years 4 months ago
2010
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
190
click to vote
MSV
2010
15 years 4 months ago
2010
Recent simulations of diffusion limited cluster-cluster aggregation (DLCA) have shown systematic inhomogeneities in the shape and orientation of clusters formed when a sedimentary...