Výsledky vyhľadávania - programming tech- niques—(logic OR login) programming general terms algorithms*

Policy expressivity in the Anzere personal cloud

Autori: Oriana Riva Qin Yin Dejan Juric a ďalší

Prispievatelia: Oriana Riva Qin Yin Dejan Juric a ďalší

Zdroj: http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf.

Predmety: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Dis- tributed Systems, D.1.6 [Software, Programming Tech- niques—Logic Programming General Terms Algorithms, Design, Experimentation Keywords Replication systems, overlay networks, cloud computing, mobile

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872
http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf

Behavioral similarity matching using concrete source code templates in logic queries

Autori: Coen De Roover Johan Brichau Carlos Noguera a ďalší

Prispievatelia: Coen De Roover Johan Brichau Carlos Noguera a ďalší

Zdroj: http://www.info.ucl.ac.be/~jbrichau/publications/PEPM2007-TemplateQueries.pdf.

Predmety: Categories and Subject Descriptors F.3.2 [Semantics of Pro- gramming Languages, Program Analysis, D.2.2 [Software Engi- neering, Coding Tools and Techniques, D.1 [Programming Tech- niques, Logic Programming General Terms Design, Languages, Algorithms, Verification Keywords Source code templates, program querying, pattern de- tection, logic meta programming, program vali

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.5024

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.452.5024
http://www.info.ucl.ac.be/~jbrichau/publications/PEPM2007-TemplateQueries.pdf

Responsible Use of AI in Military Systems

Autori: Jan Maarten Schraagen

Typ zdroja: eBook.

Predmet: Artificial intelligence--Moral and ethical aspects, Artificial intelligence--Military applications

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Machine Theory, MATHEMATICS / Arithmetic, POLITICAL SCIENCE / Public Policy / General, SCIENCE / Ethics

Genetic Algorithms and Genetic Programming : Modern Concepts and Practical Applications

Autori: Michael Affenzeller Stefan Wagner Stephan Winkler a ďalší

Typ zdroja: eBook.

Predmet: Programming (Mathematics), Evolutionary computation, Algorithms, Combinatorial optimization, Computer algorithms

Kategórie: COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms, MATHEMATICS / Number Systems

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Optimal Operation of Reservoir Systems using Simulated Annealing.

Autori: Ramesh S. V. Teegavarapu Slobodan P. Simonovic

Zdroj: Water Resources Management; Oct2002, Vol. 16 Issue 5, p401-428, 28p

Predmety: SIMULATED annealing, STOCHASTIC processes, RESERVOIRS, ALGORITHMS

A Flexible Classifier Design Framework Based on Multiobjective Programming.

Autori: Yaman, Sibel Chin-Hui Lee

Zdroj: IEEE Transactions on Audio, Speech & Language Processing; May2008, Vol. 16 Issue 4, p779-789, 11p, 5 Charts, 5 Graphs

Predmety: MATHEMATICAL programming, COMPUTATIONAL linguistics, PATTERN perception, PATTERN recognition systems, ITERATIVE methods (Mathematics), LANGUAGE & languages

AI Robotics : Ethics, Algorithms, and Technology of Artificial Intelligence-Powered Robots

Autori: Vinod Kumar Khanna

Typ zdroja: eBook.

Predmet: Robots, Artificial intelligence

Kategórie: SCIENCE / Applied Sciences, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Machine Theory, SCIENCE / Experiments & Projects, SCIENCE / Scientific Instruments

Integrating Segmentation Methods From Different Tools Into a Visualization Program Using an Object-Based Plug-In Interface.

Autori: Fischer, Felix Selver, M. Alper Hillen, Walter a ďalší

Zdroj: IEEE Transactions on Information Technology in Biomedicine; Jul2010, Vol. 14 Issue 4, p923-934, 12p

Predmety: MEDICAL communication, DIGITAL image processing, MEDICAL imaging systems, JAVA programming language, DIAGNOSTIC imaging

ABSTRACTS (BY NUMBER): These are the abstracts as submitted through the website. Last minute changes, title and presenting changes are not always reflected in this file.

Zdroj: Tissue Engineering Part A: Tissue Engineering; 2022 Supplement, Vol. 28 Issue 1, pS-1-S-654, 654p

Optimized Block-Based Connected Components Labeling With Decision Trees.

Autori: Grana, Costantino Borghesani, Daniele Cucchiara, Rita

Zdroj: IEEE Transactions on Image Processing; Jun2010, Vol. 19 Issue 6, p1596-1609, 14p

Predmety: PRINCIPAL components analysis, DECISION logic tables, MATHEMATICAL optimization, IMAGE processing, OPTICAL resolution

Dynamic-programming-based handwritten word recognition using the Choquet fuzzy integral as the match function.

Autori: Gader, Paul D. Mohamed, Magdi A. Keller, James M.

Zdroj: Journal of Electronic Imaging; Jan1996, Vol. 5 Issue 1, p15-24, 10p

New Approaches to Transcodification : Literature, Arts, and Media

Autori: Massimo Fusillo Doriana Legge Mirko Lino a ďalší

Typ zdroja: eBook.

Predmet: Adaptation (Literary, artistic, etc.)

Kategórie: LITERARY CRITICISM / Ancient & Classical, LANGUAGE STUDY / Ancient Languages, LANGUAGE ARTS & DISCIPLINES / Communication Studies, LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LITERARY CRITICISM / General, SOCIAL SCIENCE / General

From Models to Simulations

Autori: Franck Varenne

Typ zdroja: eBook.

Predmet: Biological systems--Mathematical models, Biological systems--Computer simulation

Kategórie: HISTORY / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Social Aspects

IRRIGATION WATER DELIVERY SYSTEM OPERATION VIA AGGREGATE STATE DYNAMIC PROGRAMMING.

Autori: Houghtalen, Robert J. Loftis, Jim C.

Zdroj: Journal of the American Water Resources Association; Apr1988, Vol. 24 Issue 2, p427-434, 8p

Proceedings of the International Conference on Advanced Research in Electronics and Communication Systems (ICARECS 2025)

Autori: A. Shirly Edward Rahul Krishnan P. Nagarajan a ďalší

Typ zdroja: eBook.

Kategórie: TECHNOLOGY & ENGINEERING / Electronics / General

Dependable Software.

Autori: Meyer, Bertrand

Zdroj: Dependable Systems: Software, Computing, Networks; 2006, p1-33, 33p

Reducing Long-Term Remedial Costs by Transport Modeling Optimization.

Autori: Becker, David Minsker, Barbara Greenwald, Robert a ďalší

Zdroj: Ground Water; Nov/Dec2006, Vol. 44 Issue 6, p864-875, 12p, 1 Diagram, 5 Charts, 2 Maps

Predmety: SIMULATION methods & models, CONFIGURATIONS (Geometry), CLIMATE change, MILITARY weapons, ORGANIC water pollutants, GLACIAL lakes, TRICHLOROETHYLENE, HYDROGEOLOGY

Novel approaches to neural and evolutionary computing in pharmaceutical formulation: challenges and new possibilities.

Zdroj: Future Medicinal Chemistry; Jul2009, Vol. 1 Issue 4, p713-726, 14p

Fault tolerance for data parallel programs.

Autori: Bertolli, C. Vanneschi, M.

Zdroj: Concurrency & Computation: Practice & Experience; Apr2011, Vol. 23 Issue 6, p595-632, 38p, 8 Diagrams, 3 Charts, 5 Graphs

Predmety: FAULT tolerance (Engineering), MATHEMATICAL optimization, COST effectiveness, QUALITY of service, SUPERCOMPUTERS, COMPUTER input-output equipment, HIGH performance computing