1670 search results - page 243 / 334 » On Skolemization in constructive theories |
167
click to vote
SCIA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
157
click to vote
STACS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The perfect matching problem is known to be in ¶, in randomized NC, and it is hard for NL. Whether the perfect matching problem is in NC is one of the most prominent ope...
154
click to vote
HICSS
2006
IEEE
16 years 13 days ago
2006
IEEE
We analyze how online reviews can be used to evaluate product differentiation strategy based on the theories of hyperdifferentiation and resonance marketing. Hyperdifferentiation ...
174
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
180
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...