1941 search results - page 369 / 389 » Reasoning about Computations Using Two-Levels of Logic |
145
click to vote
MM
2005
ACM
15 years 5 months ago
2005
ACM
Storage and retrieval technology for large-scale medical image systems has matured significantly during the past ten years but many implementations still lack cost-effective backu...
110
click to vote
ESAS
2004
Springer
15 years 5 months ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
105
click to vote
NSDI
2010
15 years 1 months ago
2010
Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web applications. Replay is us...
103
click to vote
CASCON
2006
15 years 1 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
122
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Gradient Boosted Regression Trees (GBRT) are the current state-of-the-art learning paradigm for machine learned websearch ranking — a domain notorious for very large data sets. ...