Sciweavers

6300 search results - page 1198 / 1260
» We have it easy, but do we have it right
Sort
View
97
Voted
CVPR
2007
IEEE
16 years 2 months ago
Integration of Motion Cues in Optical and Sonar Videos for 3-D Positioning
Target-based positioning and 3-D target reconstruction are critical capabilities in deploying submersible platforms for a range of underwater applications, e.g., search and inspec...
Shahriar Negahdaripour, Hamed Pirsiavash, Hicham S...
117
Voted
ICML
2005
IEEE
16 years 1 months ago
Augmenting naive Bayes for ranking
Naive Bayes is an effective and efficient learning algorithm in classification. In many applications, however, an accurate ranking of instances based on the class probability is m...
Harry Zhang, Liangxiao Jiang, Jiang Su
74
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
Which warnings should I fix first?
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
Sunghun Kim, Michael D. Ernst
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
Invariant inference for static checking
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
Jeremy W. Nimmer, Michael D. Ernst
115
Voted
STOC
2009
ACM
181views Algorithms» more  STOC 2009»
16 years 1 months ago
The detectability lemma and quantum gap amplification
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
Dorit Aharonov, Itai Arad, Zeph Landau, Umesh V. V...
« Prev « First page 1198 / 1260 Last » Next »