Sciweavers

7289 search results - page 329 / 1458
» A Dependent Set Theory
Sort
View
ICFCA
2004
Springer
16 years 5 days ago
Automated Lattice Drawing
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
Ralph Freese
ICPR
2004
IEEE
16 years 7 months ago
Graph Method for Generating Affine Moment Invariants
A general method of systematic derivation of affine moment invariants of any weights and orders is introduced. Each invariant is expressed by its generating graph. Techniques for ...
Jan Flusser, Tomás Suk
LORI
2009
Springer
16 years 1 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
179
Voted
CDC
2008
IEEE
184views Control Systems» more  CDC 2008»
16 years 1 months ago
Almost sure convergence to consensus in Markovian random graphs
— 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...
Ion Matei, Nuno C. Martins, John S. Baras
LICS
2005
IEEE
16 years 11 days ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel