4396 search results - page 808 / 880 » Measuring the Architecture Design Process |
148
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
155
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...
137
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
231
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Ranking queries are essential tools to process large amounts of probabilistic data that encode exponentially many possible deterministic instances. In many applications where unce...
152
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...