檢索結果 - ((function computation) or (structure computational)) programming observing method based*

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文

電子電子書

2

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

出版 2005

書本目錄: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
獲取全文

電子電子書

3

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

書本目錄: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
獲取全文

電子電子書

4

Computational Discovery of Scientific Knowledge Introduction, Techniques, and Applications in Environmental and Life Sciences /

出版 2007

書本目錄: “... -- Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools -- Computational...”
獲取全文

電子電子書

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版 2010

書本目錄: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
獲取全文

電子電子書

6

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

出版 2013

書本目錄: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
獲取全文

電子電子書

7

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

出版 2007

書本目錄: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
獲取全文

電子電子書

8

Clusters, Orders, and Trees: Methods and Applications In Honor of Boris Mirkin's 70th Birthday /

出版 2014

書本目錄: “... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”
獲取全文

電子電子書

9

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR...

出版 2005

書本目錄: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
獲取全文

電子電子書

10

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

出版 2008

書本目錄: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
獲取全文

電子電子書

11

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

出版 2005

書本目錄: “...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...”
獲取全文

電子電子書

12

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

出版 2014

書本目錄: “... Window Functions for Speech Enhancement -- Methods for Estimation of Structural State of Alkali Feldspars...”
獲取全文

電子電子書

13

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

出版 2005

書本目錄: “... – Computational Methods in Bioinformatics (CMB 2005) -- Protein Sequence Classification Through Relevant Sequence...”
獲取全文

電子電子書

14

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

出版 2010

書本目錄: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
獲取全文

電子電子書

15

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

出版 2005

書本目錄: “... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...”
獲取全文

電子電子書

16

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

出版 2007

書本目錄: “... -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL...”
獲取全文

電子電子書

17

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

出版 2012

書本目錄: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
獲取全文

電子電子書

18

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

出版 2005

書本目錄: “... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”
獲取全文

電子電子書

19

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /

出版 2007

書本目錄: “... in Software Development -- Towards a Tomographic Framework for Structured Observation of Communicative...”
獲取全文

電子電子書

20

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

出版 2005

書本目錄: “... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”
獲取全文

電子電子書

縮小搜索