1901 search results - page 285 / 381 » Predicting Program Properties from |
DFKI
2005
Springer
15 years 1 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
77
Voted
LDTA
2010
14 years 11 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
A protein is a sequence of amino-acids of length typically less than 1, 000, where there are 20 kinds of amino-acids. In nature, each protein is folded into a well-defined three-d...
ENTCS
2006
14 years 11 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
108
click to vote
SIGPRO
2010
14 years 9 months ago
2010
This short note studies a variation of the Compressed Sensing paradigm introduced recently by Vaswani et al., i.e. the recovery of sparse signals from a certain number of linear m...