42738 search results - page 87 / 8548 » Search Computing Systems |
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
97
Voted
ACL
2011
14 years 4 months ago
2011
116
Voted
CIKM
2011
Springer
14 years 18 days ago
2011
Springer
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...
161
click to vote
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
115
Voted
CPHYSICS
2006
15 years 20 days ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...