2410 search results - page 94 / 482 » Multiset Ordering Constraints |
143
Voted
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
In Jutten’s blind separation algorithm, symmetrical distribution and statistical independence of the signal sources are assumed. When they are not satisfied, the learning proce...
147
Voted
ECP
1999
Springer
15 years 9 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
126
Voted
DLOG
2004
15 years 6 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
133
Voted
ACL
1998
15 years 6 months ago
1998
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
175
click to vote
IJCV
1998
15 years 4 months ago
1998
We describe a new method for computing the displacement vector field in time sequences of 2D or 3D images (4D data). The method is energy-minimizing on the space of correspondence...