1733 search results - page 291 / 347 » On the naturalness of software |
176
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
167
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
To address the real-time processing needs of large and growing amounts of data, modern software increasingly uses main memory as the primary data store for critical information. T...
190
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
162
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
151
click to vote
HPCA
2004
IEEE
16 years 6 months ago
2004
IEEE
As microprocessors become increasingly complex, the techniques used to analyze and predict their behavior must become increasingly rigorous. This paper applies wavelet analysis te...