Search Results - interfaces comparing problems programs function https

Search alternatives:
interfaces comparing » interface comparing , intervals comparing , interface composing
comparing problems » computing problems , comparison problems , covering problems
problems programs » problems progress , problems problems , programs program
programs function » programs functional , programme function , programs fiction
function https » functions https , fiction https

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Models of Epistasis -- Partial Orderings for Ranking Help Functions -- Robust Prediction with ANNBFIS...”
View full text

Electronic eBook

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Published 2008

Table of Contents: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
View full text

Electronic eBook

Computational Social Network Analysis Trends, Tools and Research Advances /

Published 2010

Table of Contents: “... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”
View full text

Electronic eBook

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”
View full text

Electronic eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...”
View full text

Electronic eBook

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Published 2012

Table of Contents: “... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...”
View full text

Electronic eBook

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings /

Published 2006

Table of Contents: “... Model for Adaptive Hypermedia Systems -- Recomindation: New Functions for Augmented Memories...”
View full text

Electronic eBook

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /

by Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Published 2014

Table of Contents: “... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Published 2015

Table of Contents: “... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”
View full text

Electronic eBook

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Published 2005

Table of Contents: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... in Real Scenes -- Comparing Sphere-Tree Generators and Hierarchy Updates for Deformable Objects Collision...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Published 2008

Table of Contents: “... Morphodynamical Prediction System on Cluster Computers -- Implementing a Parallel NetCDF Interface for Seamless...”
View full text

Electronic eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Interpolation Spline -- An Artificial Immune System Approach for B-Spline Surface Approximation Problem...”
View full text

Electronic eBook

Pattern Recognition in Bioinformatics Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings /

Published 2007

Table of Contents: “...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...”
View full text

Electronic eBook

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings /

Published 2007

Table of Contents: “...-Infrared Imaging (fNIR) Controlled Brain-Computer Interfaces -- A Sensor Positioning System for Functional...”
View full text

Electronic eBook

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Published 2008

Table of Contents: “... Integer Programming Problem....”
View full text

Electronic eBook

Narrow Search