740 search results - page 49 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CEC
2007
IEEE
14 years 15 days ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
FGR
1996
IEEE
14 years 20 days ago
1996
IEEE
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
ISORC
1999
IEEE
14 years 24 days ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
HICSS
2011
IEEE
13 years 7 days ago
2011
IEEE
We investigate the decision process as applied to the practical task of choosing a financial portfolio. We developed PortfolioCompare, an interactive visual analytic decision sup...
HCI
2009
13 years 6 months ago
2009
In order to improve website usability, it is important for developers to understand how users access websites. In this paper, we present Webjig, which is a support system for websi...