5693 search results - page 1093 / 1139 » Socially relevant computing |
116
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
We describe a method for generating N-best configurations from part-based models, ensuring that they do not overlap according to some user-provided definition of overlap. We ext...
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
145
click to vote
JAIR
2012
13 years 3 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
159
click to vote
HPDC
2012
IEEE
13 years 3 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
GI
2007
Springer
15 years 7 months ago
2007
Springer
: Die zunehmende Popularität des gemeinschaftlichen Indexierens (Social Tagging) führt zu umfangreichen Sammlungen an nutzergenerierten Metadaten. Eine automatisierte Verwertung ...