Rezultati - ordering constraint programming programming array

1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Izdano 2008

Kazalo: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Polni tekst

Elektronski eKnjiga

2

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Izdano 2008

Kazalo: “...Session 1. Constraint Solving -- Symmetry Breaking for Maximum Satisfiability -- Efficient...”
Polni tekst

Elektronski eKnjiga

3

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Izdano 2010

Kazalo: “... Models -- Characterising Space Complexity Classes via Knuth-Bendix Orders -- Focused Natural Deduction...”
Polni tekst

Elektronski eKnjiga

4

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Izdano 2007

Kazalo: “... the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases -- On the Weight Spectra of Conway...”
Polni tekst

Elektronski eKnjiga

5

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Izdano 2013

Kazalo: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Polni tekst

Elektronski eKnjiga

6

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Polni tekst

Elektronski eKnjiga

7

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... Graph Problem -- Algorithms and Experimental Study for the Traveling Salesman Problem of Second Order...”
Polni tekst

Elektronski eKnjiga

8

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Izdano 2010

Kazalo: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2005

Kazalo: “... of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2010

Kazalo: “... Algorithm under Criticality Constraint -- A Novel Technique for ARMA Modelling with Order and Parameter...”
Polni tekst

Elektronski eKnjiga

11

The Calculus of Computation Decision Procedures with Applications to Verification /

od Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Izdano 2007

Kazalo: “...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Polni tekst

Elektronski eKnjiga

12

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Izdano 2008

Kazalo: “... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”
Polni tekst

Elektronski eKnjiga

13

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Izdano 2015

Kazalo: “... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”
Polni tekst

Elektronski eKnjiga

14

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012 Proceedings of the Fifth International Conference on High Performance Scientific Computing, March 5-9, 2012,...

Izdano 2014

Kazalo: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
Polni tekst

Elektronski eKnjiga

15

Data Production and Analysis in Population Genomics Methods and Protocols /

Izdano 2012

Kazalo: “...Sampling in Landscape Genomics -- oligoTag: A Program for Designing Sets of Tags for Next...”
Polni tekst

Elektronski eKnjiga

16

Applications of Soft Computing Recent Trends /

Izdano 2006

Kazalo: “... Reconfiguration Algorithm for Field Programmable Analog Scalable Device Array (FPADA) with Fixed Topology...”
Polni tekst

Elektronski eKnjiga

17

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Izdano 2005

Kazalo: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Polni tekst

Elektronski eKnjiga

18

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Izdano 2005

Kazalo: “... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”
Polni tekst

Elektronski eKnjiga

19

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Izdano 2013

Kazalo: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje