Sciweavers

8825 search results - page 227 / 1765
» All for one or one for all
Sort
View
AUTOMATICA
2005
89views more  AUTOMATICA 2005»
15 years 1 months ago
More efficient predictive control
An approach for constrained predictive control of linear systems (or uncertain systems described by polytopic uncertainty models) is presented. The approach consists of (in genera...
Lars Imsland, Nadav S. Bar, Bjarne A. Foss
IPL
2007
95views more  IPL 2007»
15 years 1 months ago
Optimal implementations of UPGMA and other common clustering algorithms
In this work we consider hierarchical clustering algorithms, such as UPGMA, which follow the closest-pair joining scheme. We survey optimal O(n2)-time implementations of such algo...
Ilan Gronau, Shlomo Moran
TIT
2008
107views more  TIT 2008»
15 years 1 months ago
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...
Igor Zinovik, Daniel Kroening, Yury Chebiryak
JMM2
2007
125views more  JMM2 2007»
15 years 1 months ago
The Virtuality and Reality of Augmented Reality
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
Jung Yeon Ma, Jong Soo Choi
AAMAS
2004
Springer
15 years 1 months ago
Temporal Development Methods for Agent-Based
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
Michael Fisher