檢索結果 - ((function computation) or (functions conditional)) programming computational methods express*

1

出版 2006

書本目錄: “... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...”
獲取全文

電子電子書

2

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”
獲取全文

電子電子書

3

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings /

出版 2006

書本目錄: “... Facial Expressions Based on Statistical Shape and Texture Models -- Real-Time Facial Expression Mapping...”
獲取全文

電子電子書

4

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

出版 2007

書本目錄: “... for Uncertainty Reduction in Microarray Gene Expression Pattern Analysis -- Application of Classification Methods...”
獲取全文

電子電子書

5

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

出版 2006

書本目錄: “... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...”
獲取全文

電子電子書

6

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

出版 2008

書本目錄: “... Motion Detection and Background Reconstruction with a Mixed-State Conditional Markov Random Field...”
獲取全文

電子電子書

7

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

出版 2010

書本目錄: “...-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance -- A New Smooth...”
獲取全文

電子電子書

8

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

出版 2013

書本目錄: “... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...”
獲取全文

電子電子書

9

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

出版 2008

書本目錄: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
獲取全文

電子電子書

10

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

出版 2007

書本目錄: “... for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A...”
獲取全文

電子電子書

11

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

出版 2010

書本目錄: “... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...”
獲取全文

電子電子書

12

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

出版 2014

書本目錄: “... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...”
獲取全文

電子電子書

13

Cystic Fibrosis Methods and Protocols

出版 2002

書本目錄: “... Indicator Methods to Assay Functional CFTR Expression in Cells -- Immunolocalization of CFTR in Intact...”
獲取全文

電子電子書

14

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

出版 2010

書本目錄: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
獲取全文

電子電子書

15

The Complexity of Valued Constraint Satisfaction Problems

由 Živný, Stanislav., Živný, Stanislav.
出版 2012

書本目錄: “...Chap. 1 Introduction -- Chap. 2 Background -- Chap. 3 Expressibility of Valued Constraints -- Chap...”
獲取全文

電子電子書

16

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

出版 2008

書本目錄: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
獲取全文

電子電子書

17

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

出版 2013

書本目錄: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
獲取全文

電子電子書

18

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

出版 2014

書本目錄: “... Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional...”
獲取全文

電子電子書

19

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

出版 2010

書本目錄: “... Clusters for High Performance Computation of Gene Expression Microarray Comparative Analysis -- Semantic...”
獲取全文

電子電子書

20

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

出版 2006

書本目錄: “... and Mathematical Functions -- Efficient Methods for Computing Optimality Degrees of Elements in Fuzzy Weighted...”
獲取全文

電子電子書

縮小搜索