2179 search results - page 116 / 436 » Symmetry within Solutions |
114
Voted
IJSKD
2011
14 years 7 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
120
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
We address the problem of parameter estimation in presence
of both uncertainty and outlier noise. This is a common
occurrence in computer vision: feature localization
is perform...
200
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Self-managing solutions have recently attracted a lot of interest from the database community. The need for self-* properties is more evident in distributed applications comprising...
125
Voted
EWSN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
81
Voted
VLSID
2006
IEEE
16 years 1 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...