8838 search results - page 1416 / 1768 » Generalizing Domain Theory |
154
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we investigate the problem of improving the relevance of a Web search engine by adapting it to the dynamic needs of the user. We examine a representative case of su...
212
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Finding biological entities (such as genes or proteins) that satisfy certain conditions from texts is an important and challenging task in biomedical information retrieval and tex...
160
Voted
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
163
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
173
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....