Sciweavers

5096 search results - page 872 / 1020
» Associations as a Language Construct
Sort
View
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
HPDC
2008
IEEE
16 years 27 days ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
ICASSP
2008
IEEE
16 years 27 days ago
Discriminative feature selection for hidden Markov models using Segmental Boosting
We address the feature selection problem for hidden Markov models (HMMs) in sequence classification. Temporal correlation in sequences often causes difficulty in applying featur...
Pei Yin, Irfan A. Essa, Thad Starner, James M. Reh...
IRI
2008
IEEE
16 years 26 days ago
Development of an evaluation model for Question Answering Systems
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
Chorng-Shyong Ong, Min-Yuh Day, Wen-Lian Hsu
IV
2008
IEEE
126views Visualization» more  IV 2008»
16 years 25 days ago
Stencil: A Conceptual Model for Representation and Interaction
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
Joseph A. Cottam, Andrew Lumsdaine