5550 search results - page 539 / 1110 » Different Approaches to Proof Systems |
172
click to vote
JDCTA
2008
15 years 7 months ago
2008
The importance of individual characteristics has been emphasized in the human computer interaction and information visualization (IV) literature. However, decision style, which is...
205
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
217
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
164
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Evaluation forums such as TREC allow systematic measurement and comparison of information retrieval techniques. The goal is consistent improvement, based on reliable comparison of...
234
click to vote
SIGSOFT
2009
ACM
16 years 3 days ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...