3744 search results - page 351 / 749 » Shape from Symmetry |
192
click to vote
IFIP
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
224
click to vote
ATAL
2004
Springer
16 years 1 months ago
2004
Springer
Multi-agent research often borrows from biology, where remarkable examples of collective intelligence may be found. One interesting example is ant colonies’ use of pheromones as...
195
click to vote
GG
2004
Springer
16 years 29 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
209
Voted
ICFCA
2010
Springer
16 years 11 days ago
2010
Springer
A feature of Formal Concept Analysis is the use of the line diagram of the concept lattice to visualize a conceptual space. The line diagram is a specialized form of Hasse diagram ...
196
click to vote
CDC
2009
IEEE
16 years 9 days ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...