Arama Sonuçları - interval computing programs program computing (https OR http)

1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

2

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
Tam Metin Erişim

Elektronik Ekitap

3

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
Tam Metin Erişim

Elektronik Ekitap

4

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Tam Metin Erişim

Elektronik Ekitap

5

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
Tam Metin Erişim

Elektronik Ekitap

6

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
Tam Metin Erişim

Elektronik Ekitap

7

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”
Tam Metin Erişim

Elektronik Ekitap

8

Constraint Programming and Decision Making

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Tam Metin Erişim

Elektronik Ekitap

9

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Tam Metin Erişim

Elektronik Ekitap

10

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
Tam Metin Erişim

Elektronik Ekitap

11

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... on the Planar Branchwidth with Respect to the Largest Grid Minor Size -- Session 7A. Computational Geometry II...”
Tam Metin Erişim

Elektronik Ekitap

12

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
Tam Metin Erişim

Elektronik Ekitap

13

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”
Tam Metin Erişim

Elektronik Ekitap

15

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Tam Metin Erişim

Elektronik Ekitap