1
Pubblicazione 2006
Sommario: ... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Computational Ability of Problem-Solving in an Amoeba -- Two Molecular Information Processing Systems Based...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... Design with Fuzzy Functions -- Soft Computing in Medical Image Processing -- Image Analysis of Ductal...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Stable Isotope Tracers -- Real-Time Quantitative (RQ-)PCR Approach to Quantify the Contribution...
Testo
Elettronico eBook
7
Pubblicazione 2007
Sommario: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...
Testo
Elettronico eBook