1
Published 2006
Table of Contents: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Facial Expressions Based on Statistical Shape and Texture Models -- Real-Time Facial Expression Mapping...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... for Uncertainty Reduction in Microarray Gene Expression Pattern Analysis -- Application of Classification Methods...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Motion Detection and Background Reconstruction with a Mixed-State Conditional Markov Random Field...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance -- A New Smooth...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...
View full text
Electronic eBook
13
Published 2002
Table of Contents: ... Indicator Methods to Assay Functional CFTR Expression in Cells -- Immunolocalization of CFTR in Intact...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
View full text
Electronic eBook
15
Table of Contents: ...Chap. 1 Introduction -- Chap. 2 Background -- Chap. 3 Expressibility of Valued Constraints -- Chap...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Clusters for High Performance Computation of Gene Expression Microarray Comparative Analysis -- Semantic...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... and Mathematical Functions -- Efficient Methods for Computing Optimality Degrees of Elements in Fuzzy Weighted...
View full text
Electronic eBook