3373 search results - page 447 / 675 » Linear transformations on codes |
161
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
176
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
171
click to vote
IBPRIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The extraction of reliable features is a key issue for autonomous underwater vehicle navigation. Imaging sonars can produce acoustic images of the surroundings of the veh...
146
click to vote
ICA
2007
Springer
16 years 24 days ago
2007
Springer
We consider Independent Component Analysis (ICA) for the case of binary sources, where addition has the meaning of the boolean “Exclusive Or” (XOR) operation. Thus, each mixtur...
191
click to vote
Publication
We present a method for detecting and describing features in vector flow fields. Our method models flow fields locally using a linear combination of complex monomials. These monomi...