6704 search results - page 231 / 1341 » Testing Scenario-Based Models |
165
click to vote
ISMB
1997
15 years 8 months ago
1997
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
204
click to vote
ACL
2010
15 years 4 months ago
2010
Most supervised language processing systems show a significant drop-off in performance when they are tested on text that comes from a domain significantly different from the domai...
180
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
147
click to vote
GFKL
2005
Springer
16 years 3 days ago
2005
Springer
The aim of the presented study was to find structural descriptions of melodies that influence recognition memory for melodies. 24 melodies were played twice to 42 test persons. I...
171
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...