12193 search results - page 112 / 2439 » It's not all about |
137
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
104
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
103
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
We present a novel dataset and novel algorithms for the problem of detecting activities of daily living (ADL) in firstperson camera views. We have collected a dataset of 1 millio...
CASCON
1996
15 years 1 months ago
1996
Software development managers strive to control all of the factors that might impact the success of their projects. However, not all of these factors have been identified, much le...
106
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The amount of information available online is increasing exponentially. While this information is a valuable resource, its sheer volume limits its value. Many research pr...