4914 search results - page 599 / 983 » Arbitration of a help system |
184
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
184
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
Helper locks allow programs with large parallel critical sections, called parallel regions, to execute more efficiently by enlisting processors that might otherwise be waiting on ...
206
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Interactive Visualization has been used to study scientific phenomena, analyze data, visualize information, and to explore large amounts of multivariate data. It enables the human...
206
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
222
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...