2223 search results - page 328 / 445 » Events in Property Patterns |
160
click to vote
JAR
2010
14 years 10 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
125
click to vote
TGIS
2010
14 years 10 months ago
2010
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
106
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--In this paper, the problem of estimating direction-ofarrival (DOA) of multiple uncorrelated sources from single antenna power measurements is addressed. Utilizing the fac...
154
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We consider the problem of classification of a pattern from multiple compressed observations that are collected in a sensor network. In particular, we exploit the properties of r...
135
click to vote
ICIP
2001
IEEE
16 years 5 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...