2004 search results - page 167 / 401 » Comparison of Model Checking Tools for Information Systems |
184
Voted
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
165
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
161
click to vote
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
193
click to vote
JBI
2008
15 years 5 months ago
2008
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
172
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...