42738 search results - page 87 / 8548 » Search Computing Systems |
105
Voted
SEMCO
2009
IEEE
15 years 9 months ago
2009
IEEE
120
Voted
ACL
2011
14 years 6 months ago
2011
137
Voted
CIKM
2011
Springer
14 years 2 months 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...
187
Voted
CAV
1999
Springer
15 years 7 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...
136
Voted
CPHYSICS
2006
15 years 2 months 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 ...