3384 search results - page 669 / 677 » More Testable Properties |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
ECCC
2011
13 years 2 months ago
2011
Locally decodable codes are error correcting codes with the extra property that, in order to retrieve the correct value of just one position of the input with high probability, it...
EIS
2011
13 years 2 months ago
2011
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
JOCN
2011
13 years 2 months ago
2011
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...
SIAMDM
2011
13 years 2 months ago
2011
For stable marriage (SM) and solvable stable roommates (SR) instances, it is known that there are stable matchings that assign each participant to his or her (lower/upper) median ...