4190 search results - page 220 / 838 » Type Class Directives |
128
click to vote
HCI
2007
15 years 5 months ago
2007
In a persuasive communication, not only the content of the message but also its source, and the type of communication can influence its persuasiveness on the audience. This paper c...
135
click to vote
ECIR
2004
Springer
15 years 5 months ago
2004
Springer
This paper argues that a new paradigm for information retrieval has evolved that incorporates human attention and mental effort and takes advantage of new types of information obje...
138
click to vote
AML
2008
15 years 4 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
119
click to vote
JCC
2006
15 years 4 months ago
2006
: We describe the procedure to start an SCF calculation of the general type from a sum of atomic electron densities, as implemented in GAMESS-UK. Although the procedure is well kno...
144
click to vote
JUCS
2010
15 years 2 months ago
2010
: Interval algebra networks are traditionally defined over finite intervals. In this paper, we relax this restriction by allowing one or more of the intervals involved to be infini...