2278 search results - page 124 / 456 » Specification Techniques for Automatic Performance Analysis ... |
IEICET
2008
14 years 11 months ago
2008
We propose a domain specific model for statistical machine translation. It is wellknown that domain specific language models perform well in automatic speech recognition. We show ...
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
BMCBI
2010
14 years 11 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...
104
click to vote
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...