2440 search results - page 293 / 488 » Explanation-Based Feature Construction |
125
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract--There exists an injective, information-preserving function that maps a semantic network (i.e a directed labeled network) to a directed network (i.e. a directed unlabeled ...
164
click to vote
CLEIEJ
2006
15 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
128
Voted
IJSYSC
2008
15 years 5 months ago
2008
The problem of estimating motion and structure from a sequence of images has been a major research theme in machine vision for many years and remains one of the most challenging o...
141
click to vote
IJAIT
2006
15 years 5 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
173
click to vote
IVC
2008
15 years 5 months ago
2008
In this paper, we address the issue of Euclidean path modeling in a single camera for activity monitoring in a multi-camera video surveillance system. The method consists of a pat...