Sökresultat - parallel tree based functionality function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Hämta fulltext

Elektronisk E-bok

2

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Publicerad 2013

Innehållsförteckning: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Hämta fulltext

Elektronisk E-bok

3

Functional Imaging and Modeling of the Heart 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007 /

Publicerad 2007

Innehållsförteckning: “... Simulation of Cardiac Electrophysiology -- Parallel Solution in Simulation of Cardiac Excitation Anisotropic...”
Hämta fulltext

Elektronisk E-bok

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2007

Innehållsförteckning: “...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...”
Hämta fulltext

Elektronisk E-bok

6

Dynamics of Parallel Robots From Rigid Bodies to Flexible Elements /

av Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
Publicerad 2015

Innehållsförteckning: “... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...”
Hämta fulltext

Elektronisk E-bok

7

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publicerad 2010

Innehållsförteckning: “... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...”
Hämta fulltext

Elektronisk E-bok

8

Parallel Imaging in Clinical MR Applications

Publicerad 2007

Innehållsförteckning: “... of the Biliary Tree and the Pancreas -- Parallel Imaging in Inflammatory Bowel Disease -- Musculoskeletal Imaging...”
Hämta fulltext

Elektronisk E-bok

9

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “...(?) Modifications for Optimal Parallelism -- The Linkage Tree Genetic Algorithm -- An Analysis of the XOR Dynamic...”
Hämta fulltext

Elektronisk E-bok

10

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Publicerad 2010

Innehållsförteckning: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hämta fulltext

Elektronisk E-bok

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Publicerad 2005

Innehållsförteckning: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
Hämta fulltext

Elektronisk E-bok

12

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES...

Publicerad 2007

Innehållsförteckning: “... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2012

Innehållsförteckning: “... Based on Embedded Vision Nodes Suitable for Robotic Systems -- Conceptual Design and Kinematic Analysis...”
Hämta fulltext

Elektronisk E-bok

14

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Hämta fulltext

Elektronisk E-bok

15

Sound, Music, and Motion 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers /

Publicerad 2014

Innehållsförteckning: “... -- Fragmentations with Pitch, Rhythm and Parallelism Constraints for Variation Matching -- Predicting Agreement...”
Hämta fulltext

Elektronisk E-bok

16

Transactions on Computational Systems Biology V

Publicerad 2006

Innehållsförteckning: “...Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification -- A...”
Hämta fulltext

Elektronisk E-bok

17

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
Hämta fulltext

Elektronisk E-bok

18

Autonomous Search

Publicerad 2012

Innehållsförteckning: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Hämta fulltext

Elektronisk E-bok

19

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Publicerad 2014

Innehållsförteckning: “... for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic...”
Hämta fulltext

Elektronisk E-bok

20

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Publicerad 2010

Innehållsförteckning: “... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen