8828 search results - page 193 / 1766 » Formal methods in practice |
128
click to vote
ICISC
2004
15 years 6 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr
116
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—The advanced sampling and variance reduction techniques as efficient alternatives to the slow crude-MC method have recently been adopted for the analysis of timing yield in dig...
149
Voted
COLING
2002
15 years 4 months ago
2002
A number of machine translation systems based on the learning algorithms are presented. These methods acquire translation rules from pairs of similar sentences in a bilingual text...
151
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
137
click to vote
SIAMDM
2010
15 years 3 months ago
2010
Graph theory has been used to characterize the solvability of the sensor network localization problem. If sensors correspond to vertices and edges correspond to sensor pairs betwee...