2465 search results - page 296 / 493 » Automata on Linear Orderings |
168
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
190
click to vote
ECWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Alternating least squares (ALS) is a powerful matrix factorization (MF) algorithm for both implicit and explicit feedback based recommender systems. We show that by using...
167
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
172
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we discuss the consensus problem for a network of dynamic agents with undirected information flow and random switching topologies. The switching is determined by...
158
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Most exiting array signal processing techniques for bearing estimation are strongly relied on the far-field assumption. When the sources are located close to the array, these tec...