Sciweavers

397 search results - page 59 / 80
» Overview of LDPC Codes
Sort
View
155
Voted
ANLP
2000
149views more  ANLP 2000»
15 years 4 months ago
Javox: A Toolkit for Building Speech-Enabled Applications
JAVOX provides a mechanism for the development of spoken-language systems from existing desktop applications. We present an architecture that allows existing Java1 programs to be ...
Michael S. Fulkerson, Alan W. Biermann
124
Voted
PASTE
1998
ACM
15 years 7 months ago
Concept Analysis - A New Framework for Program Understanding
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
Gregor Snelting
126
Voted
IEEEPACT
2002
IEEE
15 years 7 months ago
Effective Compilation Support for Variable Instruction Set Architecture
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
Jack Liu, Timothy Kong, Fred C. Chow
134
Voted
FLOPS
2010
Springer
15 years 9 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
116
Voted
ISORC
2006
IEEE
15 years 8 months ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae