Sciweavers

4708 search results - page 690 / 942
» Generating the Structure of Argument
Sort
View
SAC
2009
ACM
16 years 11 days ago
Modular implementation of adaptive decisions in stochastic simulations
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
Pilsung Kang 0002, Yang Cao, Naren Ramakrishnan, C...
BIRTHDAY
2009
Springer
16 years 10 days ago
Nonassociative Lambek Calculus with Additives and Context-Free Languages
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
Wojciech Buszkowski, Maciej Farulewski
ESOP
2009
Springer
16 years 10 days ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
ICSE
2009
IEEE-ACM
16 years 10 days ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
ICASSP
2009
IEEE
16 years 9 days ago
Probablistic modelling of F0 in unvoiced regions in HMM based speech synthesis
HMM based synthesis has attracted great interest due to its compact and flexible modelling of spectral and prosodic parameters. In this approach, short term spectra, fundamental ...
Kai Yu, Tomoki Toda, Milica Gasic, Simon Keizer, F...