3679 search results - page 213 / 736 » Answer set based design of knowledge systems |
162
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
128
click to vote
CSB
2003
IEEE
15 years 10 months ago
2003
IEEE
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...
161
click to vote
SSDBM
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
121
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Blogs have become an important medium for people to express opinions and share information on the web. Predicting the interests of bloggers can be beneficial for information retri...
160
click to vote
HT
2005
ACM
15 years 10 months ago
2005
ACM
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular user...