Sciweavers

894 search results - page 47 / 179
» Universal Relations and
Sort
View
CVPR
2009
IEEE
15 years 3 months ago
Efficient Representation of Local Geometry for Large Scale Object Retrieval
State of the art methods for image and object re- trieval exploit both appearance (via visual words) and local geometry (spatial extent, relative pose). In large scale problems,...
Michal Perdoch (Czech Technical University), Ondre...
ICSE
2003
IEEE-ACM
14 years 8 months ago
Evaluating Individual Contribution Toward Group Software Engineering Projects
It is widely acknowledged that group or team projects are a staple of undergraduate and graduate software engineering courses. Such projects provide students with experiences that...
Jane Huffman Hayes, Timothy Lethbridge, Daniel Por...
ICPR
2010
IEEE
14 years 2 months ago
A Unified Probabilistic Approach to Feature Matching and Object Segmentation
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
Tae Hoon Kim (Seoul National University), Kyoung M...
TARK
1992
Springer
14 years 2 days ago
Topological Reasoning and The Logic of Knowledge
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
Lawrence S. Moss, Rohit Parikh
CONCUR
2008
Springer
13 years 9 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink