1300 search results - page 167 / 260 » Probabilistic logic with independence |
175
click to vote
ACL
2011
14 years 10 months ago
2011
Marking up search queries with linguistic annotations such as part-of-speech tags, capitalization, and segmentation, is an important part of query processing and understanding in ...
164
click to vote
ECCV
2010
Springer
14 years 19 days ago
2010
Springer
Hough voting methods efficiently handle the high complexity of multiscale,
category-level object detection in cluttered scenes. The primary weakness
of this approach is however t...
189
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
167
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
149
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...