465 search results - page 8 / 93 » Shedding Light on the Weather |
155
click to vote
CSE
2009
IEEE
16 years 22 days ago
2009
IEEE
We carefully investigate humanity’s intuitive understanding of trust and extract from it fundamental properties that succinctly synthesize how trust works. From this detailed ch...
145
click to vote
AIED
2009
Springer
16 years 17 days ago
2009
Springer
In the last years, there is a rising interest in exploratory learning environments, due to their positive effects on learning. However, their lack of structure makes the provision...
168
click to vote
WMCSA
2008
IEEE
16 years 11 days ago
2008
IEEE
Epidemic quorum systems enable highly available agreement even when a quorum is not simultaneously connected, and are therefore very interesting for mobile networks. Although rece...
163
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
166
click to vote
CPAIOR
2005
Springer
15 years 11 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...