3224 search results - page 424 / 645 » On Checking Model Checkers |
186
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Classification and regression tree approach was used in this research to model phone duration of Lithuanian. 300 thousand samples of vowels and 400 thousand samples of consonants e...
183
click to vote
IS
2010
15 years 5 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
189
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
153
click to vote
LCPC
2007
Springer
16 years 21 days ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
182
click to vote
APSEC
2006
IEEE
16 years 19 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...