740 search results - page 125 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
104
click to vote
CHI
1999
ACM
15 years 5 months ago
1999
ACM
The past decades have seen huge improvements in computer systems but these have proved difficult to translate into comparable improvements in the usability and social integration)...
119
click to vote
CHI
2002
ACM
16 years 1 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
124
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
127
click to vote
NAR
2007
15 years 24 days ago
2007
With the integration of the KEGG and Predictome databases as well as two search engines for coexpressed genes/proteins using data sets obtained from the Stanford Microarray Databa...
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...