Sciweavers

3133 search results - page 194 / 627
» Difference systems of sets and cyclotomy
Sort
View
201
Voted
FCSC
2010
170views more  FCSC 2010»
15 years 4 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
183
Voted
CMPB
2010
171views more  CMPB 2010»
15 years 1 months ago
Metabolica: A statistical research tool for analyzing metabolic networks
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
Jenni Heino, Daniela Calvetti, Erkki Somersalo
149
Voted
COLING
2010
15 years 1 months ago
Informed ways of improving data-driven dependency parsing for German
We investigate a series of targeted modifications to a data-driven dependency parser of German and show that these can be highly effective even for a relatively well studied langu...
Wolfgang Seeker, Bernd Bohnet, Lilja Øvreli...
ICASSP
2011
IEEE
14 years 10 months ago
Discriminative training for Bayesian sensing hidden Markov models
We describe feature space and model space discriminative training for a new class of acoustic models called Bayesian sensing hidden Markov models (BS-HMMs). In BS-HMMs, speech dat...
George Saon, Jen-Tzung Chien
PUC
2008
146views more  PUC 2008»
15 years 6 months ago
Evaluating teamwork support in tabletop groupware applications using collaboration usability analysis
Tabletop groupware systems have natural advantages for collaboration, but they present a challenge for application designers because shared work and interaction progress in differe...
David Pinelle, Carl Gutwin