Sciweavers

2935 search results - page 442 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
WSC
1998
15 years 7 months ago
SEAMS: Simulation Environment for VHDL-AMS
VHDL-AMS is an Analog and Mixed-Signal extension to the Very High Speed Integrated Circuit Hardware Description Language (VHDL). With the standardization of VHDL-AMS, capable and ...
Peter Frey, Kathiresan Nellayappan, Vasudevan Sahn...
DEXAW
2010
IEEE
181views Database» more  DEXAW 2010»
15 years 7 months ago
Bridging the Gap between Heterogeneous and Semantically Diverse Content of Different Disciplines
The Web has been flooded with highly heterogeneous data sources that freely offer their data to the public. Careful design and compliance to standards is a way to cope with the he...
Siarhei Bykau, Nadzeya Kiyavitskaya, Chrisa Tsinar...
ENTCS
2010
133views more  ENTCS 2010»
15 years 6 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
BMCBI
2006
137views more  BMCBI 2006»
15 years 6 months ago
Improving the accuracy of protein secondary structure prediction using structural alignment
Background: The accuracy of protein secondary structure prediction has steadily improved over the past 30 years. Now many secondary structure prediction methods routinely achieve ...
Scott Montgomerie, Shan Sundararaj, Warren J. Gall...
197
Voted
TNN
1998
111views more  TNN 1998»
15 years 5 months ago
Modular recurrent neural networks for Mandarin syllable recognition
Abstract—A new modular recurrent neural network (MRNN)based speech-recognition method that can recognize the entire vocabulary of 1280 highly confusable Mandarin syllables is pro...
Sin-Horng Chen, Yuan-Fu Liao