Sciweavers

2867 search results - page 279 / 574
» Effectiveness of Index Expressions
Sort
View
CI
2000
114views more  CI 2000»
15 years 6 months ago
A Guided Tour through Some Extensions of the Event Calculus
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
ICIP
2004
IEEE
16 years 8 months ago
Separating useful from useless image variation for face recognition
For a general purpose face recognition system one of the largest challenge is to separate useful identity related from useless variations in the image data due to nuisance variabl...
Peter Kalocsai
ICPR
2008
IEEE
16 years 7 months ago
Cone-restricted subspace methods
In pattern recognition, feature vectors are occasionally subject to non-negative constraints. This characteristic can be expressed by a cone in feature vector space. In this paper...
Takumi Kobayashi, Nobuyuki Otsu
CADE
2001
Springer
16 years 7 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
ICC
2007
IEEE
124views Communications» more  ICC 2007»
16 years 28 days ago
On the Connected Nodes Position Distribution in Ad Hoc Wireless Networks with Statistical Channel Models
—In this paper the problem of evaluating the statistics of the connected nodes position in a multi-hop wireless random ad hoc network is addressed. In particular, an analytical m...
Davide Dardari