2237 search results - page 379 / 448 » Advanced Prosody Modelling |
148
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
183
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
118
Voted
SIGOPSE
1998
ACM
15 years 7 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
155
Voted
APWEB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...
167
Voted
ASIAMS
2008
IEEE
15 years 5 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...