Sciweavers

2416 search results - page 238 / 484
» The Language of Cortical Dynamics
Sort
View
IASTEDSE
2004
15 years 8 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
NAACL
1994
15 years 7 months ago
A One Pass Decoder Design For Large Vocabulary Recognition
To achieve reasonable accuracy in large vocabulary speech recognition systems, it is important to use detailed acoustic models together with good long span language models. For ex...
J. J. Odell, V. Valtchev, Philip C. Woodland, S. J...
HASKELL
2008
ACM
15 years 7 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
PPDP
2010
Springer
15 years 5 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
BIRTHDAY
2010
Springer
15 years 4 months ago
Some Thoughts on the Semantics of Biocharts
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
David Harel, Hillel Kugler