Sciweavers

4140 search results - page 305 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
208
Voted
LICS
2002
IEEE
15 years 11 months ago
A Syntactic Approach to Foundational Proof-Carrying Code
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...
DATAMINE
2006
131views more  DATAMINE 2006»
15 years 6 months ago
A systematic approach to the assessment of fuzzy association rules
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
Didier Dubois, Eyke Hüllermeier, Henri Prade
ICASSP
2009
IEEE
16 years 1 months ago
A Bayesian approach to HMM-based speech synthesis
This paper proposes a new framework of speech synthesis based on the Bayesian approach. The Bayesian method is a statistical technique for estimating reliable predictive distribut...
Kei Hashimoto, Heiga Zen, Yoshihiko Nankaku, Takas...
UML
2001
Springer
15 years 11 months ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 8 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen