Sciweavers

11211 search results - page 1930 / 2243
» Rank-Sensitive Data Structures
Sort
View
ISNN
2009
Springer
15 years 10 months ago
Research on Segment Acoustic Model Based Mandarin LVCSR
SM has shown a better performance than HMM in connected word recognition system; however, no reports we have read show that SM has been applied in LVCSR as decoding acoustic model ...
Wenju Liu, Yun Tang, Shouye Peng
IWANN
2009
Springer
15 years 10 months ago
A Proposal for Mobile Diabetes Self-control: Towards a Patient Monitoring Framework
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
Vladimir Villarreal, Javier Laguna, Silvia L&oacut...
QUACON
2009
Springer
15 years 10 months ago
A Context Quality Model to Support Transparent Reasoning with Uncertain Context
Much research on context quality in context-aware systems divides into two strands: (1) the qualitative identication of quality measures and (2) the use of uncertain reasoning tec...
Susan McKeever, Juan Ye, Lorcan Coyle, Simon Dobso...
RULEML
2009
Springer
15 years 10 months ago
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
15 years 10 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
« Prev « First page 1930 / 2243 Last » Next »