3511 search results - page 288 / 703 » Evaluation Methods for Groupware Systems |
173
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
179
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
: A new issue that arises in modern applications involves the efficient manipulation of (static or moving) spatial objects, and the relationships among them. As a result, modern da...
150
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
189
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The realistic performance of a multi-input multi-output (MIMO) communication system depends strongly on the spatial correlation properties introduced by clustering in the propag...
159
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI filtering is a pre-processing before the FI detecti...