1722 search results - page 134 / 345 » Dedication |
136
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
167
click to vote
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this work, we are interested in understanding how emotional interactions with a social partner can bootstrap increasingly complex behaviors such as social referencing....
100
Voted
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
130
click to vote
CSE
2009
IEEE
15 years 1 months ago
2009
IEEE
When an agent resides in a community, the opinion of other community members concerning whether a particular individual is trustworthy or not influences the trust level of this ag...
151
Voted
ECIR
2009
Springer
15 years 1 months ago
2009
Springer
Query expansion is an effective technique in improving the retrieval performance for ad-hoc retrieval. However, query expansion can also fail, leading to a degradation of the retri...