Sciweavers

1209 search results - page 96 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
TPHOL
2007
IEEE
15 years 10 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
COLING
2008
15 years 5 months ago
Modeling the Structure and Dynamics of the Consonant Inventories: A Complex Network Approach
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conso...
Animesh Mukherjee, Monojit Choudhury, Anupam Basu,...
ICVGIP
2004
15 years 5 months ago
Modeling Signs Using Functional Data Analysis
1 We present a functional data analysis (FDA) based method to statistically model continuous signs of the American Sign Language (ASL) for use in the recognition of signs in contin...
Sunita Nayak, Sudeep Sarkar, Kuntal Sengupta
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 22 days ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
SDL
2003
147views Hardware» more  SDL 2003»
15 years 5 months ago
Modelling and Evaluation of a Network on Chip Architecture Using SDL
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...
Rickard Holsmark, Magnus Högberg, Shashi Kuma...