4341 search results - page 351 / 869 » Quantitative Model checking |
213
click to vote
PLDI
2004
ACM
16 years 6 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
167
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
186
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
160
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents an integrated framework for mobile street-level tracking of multiple persons. In contrast to classic tracking-by-detection approaches, our framework employs an ...
166
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we present a system to aid human annotation of semantic information in the scope of the project AC/DC, called corte-e-costura. This system leverages on the human an...