1829 search results - page 111 / 366 » aims 2008 |
116
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
206
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
We present x.qui.site, a scalable system for managing recommendations for social tagging sites like del.icio.us. seamlessly incorporates various user behaviors into the recommenda...
140
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The application of patterns is used as a foundation for many central design decisions in software architecture, but because of the informal nature of patterns, these design decisi...
137
click to vote
HYPERTEXT
2009
ACM
16 years 1 months ago
2009
ACM
Annotations represent an increasingly popular means for organizing, categorizing and finding resources on the “social” web. Yet, only a small portion of the total resources av...
117
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. The nearest neighbor and the perceptron algorithms are intuitively motivated by the aims to exploit the “cluster” and “linear separation” structure of the data to...