3082 search results - page 470 / 617 » its 2004 |
176
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
226
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
161
Voted
HIS
2004
15 years 8 months ago
2004
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
172
click to vote
IADIS
2004
15 years 8 months ago
2004
The aim of this paper is to conduct a comparative study between liberal and prescriptive cultures (in this case Arab and British audiences) to extract the views of Web designers i...
187
click to vote
IADIS
2004
15 years 8 months ago
2004
The demographics of computer-mediated communication (CMC) users have changed considerably over the last twenty years. Whereas in the 1980's it was largely academics, and comp...