2335 search results - page 98 / 467 » Type Checking Type Classes |
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
For high-data-rate applications, turbo-like iterative decoders are implemented with parallel hardware architecture. However, to achieve high throughput, concurrent accesses to each...
PRIB
2009
Springer
14 years 3 months ago
2009
Springer
For many biomedical modelling tasks a number of different types of data may influence predictions made by the model. An established approach to pursuing supervised learning with ...
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
COLING
1996
13 years 10 months ago
1996
This paper presents a gratmnar and style checker demonstrator for Spanish and Greek native writers developed within the project GramCheck. Besides a brief grmnmar error typology f...
CASCON
2001
13 years 10 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...