10890 search results - page 98 / 2178 » Automatic Complexity Analysis |
129
Voted
PR
2006
15 years 2 months ago
2006
By analyzing the similarities between bit streams coming from a network of motion detectors, we can recover the network geometry and discover structure in the human behavior being...
108
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
104
click to vote
DELFI
2003
15 years 3 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
144
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We present a tool that, from automatically recognised names, tries to infer inter-person relations in order to present associated people on maps. Based on an in-house Named Entity...
111
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...