5084 search results - page 402 / 1017 » Proving Possibility Properties |
174
click to vote
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
205
click to vote
ICOODB
2009
15 years 4 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
186
click to vote
IGPL
2010
15 years 4 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
181
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Several authors have noticed that the common representation of images as vectors is sub-optimal. The process of vectorization eliminates spatial relations between some of the near...
192
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
We show how the symmetry of motion can be extracted by using the Generalised Symmetry Operator for analysing motion and for gait recognition. This operator, rather than relying on...