Sciweavers

2830 search results - page 212 / 566
» A Development Tool for E-learning Applications
Sort
View
BMCBI
2007
135views more  BMCBI 2007»
14 years 11 months ago
RECOVIR: An application package to automatically identify some single stranded RNA viruses using capsid protein residues that un
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
Dianhui Zhu, George E. Fox, Sugoto Chakravarty
CHI
2009
ACM
15 years 12 months ago
Supporting the creation of hybrid museum experiences
This paper presents the evolution of a tool to support the rapid prototyping of hybrid museum experiences by domain professionals. The developed tool uses visual markers to associ...
Boriana Koleva, Stefan Rennick Egglestone, Holger ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 3 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ANSS
2001
IEEE
15 years 3 months ago
Models of Complex Physical Systems Using Cell-DEVS
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
Javier Ameghino, Alejandro Troccoli, Gabriel A. Wa...
IJET
2008
86views more  IJET 2008»
14 years 11 months ago
A Delivery Engine for QTI Assessments
The IMS Question and Test Interoperability (QTI) standard has had a restricted take-up, in part due to the lack of tools. This paper describes the `ASDEL' test delivery engine...
Gary B. Wills, Jonathon S. Hare, Jiri Kajaba, Davi...