1922 search results - page 54 / 385 » ie 2007 |
CCE
2007
13 years 10 months ago
2007
: Collaborative engineering involves knowledge-intensive activities involving different specialists in collaboration processes tailored for the engineering domain under considerati...
CRIWG
2007
13 years 10 months ago
2007
Groupware must deal with a myriad of concerns. Some of them are typical of “conventional” software while others are idiosyncratic of CSCW applications (e.g., awareness). We cla...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
DAGSTUHL
2007
13 years 10 months ago
2007
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
EUSFLAT
2007
13 years 10 months ago
2007
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...