3744 search results - page 351 / 749 » Shape from Symmetry |
172
click to vote
IFIP
2005
Springer
16 years 12 days 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...
204
click to vote
ATAL
2004
Springer
16 years 8 days 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...
171
click to vote
GG
2004
Springer
16 years 8 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 ...
190
click to vote
ICFCA
2010
Springer
15 years 11 months 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 ...
170
click to vote
CDC
2009
IEEE
15 years 11 months 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...