1124 search results - page 58 / 225 » Refined quorum systems |
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
160
click to vote
JGAA
2000
15 years 5 months ago
2000
Current orthogonal graph drawing algorithms produce drawings which are generally good. However, many times the quality of orthogonal drawings can be significantly improved with a ...
133
click to vote
DFT
2007
IEEE
16 years 14 days ago
2007
IEEE
Decreasing feature sizes have led to an increased vulnerability of random logic to soft errors. A particle strike may cause a glitch or single event transient (SET) at the output ...
147
click to vote
EKAW
2000
Springer
15 years 9 months ago
2000
Springer
Knowledge refinement tools rely on a representative set of training examples to identify and repair faults in a knowledge based system (KBS). In real environments it is often diffi...
160
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Geographic information systems (GIS) must support large georeferenced data sets. Due to the size of these data sets finding exact answers to spatial queries can be very time consum...