Sökresultat - ((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 /

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2005

Innehållsförteckning: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2008

Innehållsförteckning: “... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2007

Innehållsförteckning: “... -- Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools -- Computational...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2010

Innehållsförteckning: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2013

Innehållsförteckning: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2007

Innehållsförteckning: “... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2014

Innehållsförteckning: “... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2005

Innehållsförteckning: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2008

Innehållsförteckning: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2005

Innehållsförteckning: “...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2014

Innehållsförteckning: “... Window Functions for Speech Enhancement -- Methods for Estimation of Structural State of Alkali Feldspars...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2005

Innehållsförteckning: “... – Computational Methods in Bioinformatics (CMB 2005) -- Protein Sequence Classification Through Relevant Sequence...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2010

Innehållsförteckning: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2005

Innehållsförteckning: “... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2007

Innehållsförteckning: “... -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2012

Innehållsförteckning: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2005

Innehållsförteckning: “... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2007

Innehållsförteckning: “... in Software Development -- Towards a Tomographic Framework for Structured Observation of Communicative...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2005

Innehållsförteckning: “... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen