3082 search results - page 501 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
179
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe progress in the automatic detection and identification of humans in video, given a minimal number of labelled faces as training data. This is an extremely cha...
191
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technolog...
144
click to vote
DOCENG
2010
ACM
15 years 7 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
196
click to vote
ACL
2009
15 years 4 months ago
2009
We present a graph-based semi-supervised learning for the question-answering (QA) task for ranking candidate sentences. Using textual entailment analysis, we obtain entailment sco...