3758 search results - page 119 / 752 » A Complete Subsumption Algorithm |
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
We consider the problem of designing controllers for nonholonomic mobile robots converging to the source (minimum) of a field. In addition to the mobility constraints posed by the ...
TSP
2010
14 years 4 months ago
2010
A quaternion widely linear (QWL) model for quaternion valued mean-squared-error (MSE) estimation is proposed. The augmented statistics are first introduced into the field of quater...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We present a general framework to model strategic aspects and stable and fair resource allocations in networks via variants and generalizations of path coalitional games. In these ...
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
CCS
2008
ACM
14 years 12 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...