3646 search results - page 390 / 730 » Voice search for development |
179
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
151
Voted
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We develop a machine-learned similarity metric for Windows failure reports using telemetry data gathered from clients describing the failures. The key feature is a tuned callstack...
153
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Whereas search engines assist users in locating initial information sources, often an overwhelmingly large number of ULRs is returned, and the task of browsing websites rests heavi...
177
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
As WWW becomes more and more popular and powerful, how to search information on the web in database way becomes an important research topic. COMMIX, which is developed in the DB g...
188
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We propose a novel method to detect cultural differences over the world automatically by using a large amount of geotagged images on the photo sharing Web sites such as Flickr. W...