Search Results - programming tech- niques—(logic OR login) programming general terms algorithms~

Policy expressivity in the Anzere personal cloud

Authors: Oriana Riva Qin Yin Dejan Juric et al.

Contributors: Oriana Riva Qin Yin Dejan Juric et al.

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Coen De Roover Johan Brichau Carlos Noguera et al.

Contributors: Coen De Roover Johan Brichau Carlos Noguera et al.

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Jan Maarten Schraagen

Resource Type: eBook.

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

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

On the Simplicity of Synthesizing Linked Data Structure Operations

Authors: Darya Kurilova Derek Rayside The Pennsylvania State University CiteSeerX Archives

Contributors: Darya Kurilova Derek Rayside The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/%7Edkurilov/papers/gpce13.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Pro- grams General Terms Languages Keywords code genera, program synthesis, SAT- solver, linked data structures, AVL trees

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.668.5029; http://www.cs.cmu.edu/%7Edkurilov/papers/gpce13.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.668.5029
http://www.cs.cmu.edu/%7Edkurilov/papers/gpce13.pdf

Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

Authors: Hubert Baumeister Horst Lichter Matthias Riebisch

Resource Type: eBook.

Subjects: eXtreme programming--Congresses, Management information systems, Agile software development--Congresses, Software engineering--Congresses, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Genetic Algorithms and Genetic Programming : Modern Concepts and Practical Applications

Authors: Michael Affenzeller Stefan Wagner Stephan Winkler et al.

Resource Type: eBook.

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

Categories: 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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Categories: 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.

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

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

Subject Terms: SIMULATED annealing, STOCHASTIC processes, RESERVOIRS, ALGORITHMS

Technology Mapping for SOI Domino Logic Incorporating Solutions for the Parasitic Bipolar Effect.

Authors: Karandikar, Shrirang K. Sapatnekar, Sachin S.

Source: IEEE Transactions on Very Large Scale Integration (VLSI) Systems; Dec2003, Vol. 11 Issue 6, p1094-1105, 12p, 2 Black and White Photographs, 7 Diagrams, 4 Charts

Subject Terms: LOGIC circuits, SILICON-on-insulator technology, ALGORITHMS, ELECTRONIC circuit design, COMPLEMENTARY metal oxide semiconductors, DIGITAL integrated circuits, AUTOMATION

A Flexible Classifier Design Framework Based on Multiobjective Programming.

Authors: Yaman, Sibel Chin-Hui Lee

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

Subject Terms: 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

Authors: Vinod Kumar Khanna

Resource Type: eBook.

Subjects: Robots, Artificial intelligence

Categories: 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.

Authors: Fischer, Felix Selver, M. Alper Hillen, Walter et al.

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

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

Optimized Block-Based Connected Components Labeling With Decision Trees.

Authors: Grana, Costantino Borghesani, Daniele Cucchiara, Rita

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

Subject Terms: 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.

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

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

IRRIGATION WATER DELIVERY SYSTEM OPERATION VIA AGGREGATE STATE DYNAMIC PROGRAMMING.

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

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

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.

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

A Contextual Medical Image Viewer.

Authors: Moreno, Ramon Alfredo Furuie, Sérgio Shiguemi

Source: IEEE Transactions on Information Technology in Biomedicine; Sep2007, Vol. 11 Issue 5, p583-592, 10p

Subject Terms: MEDICAL imaging systems, VISUAL programming languages (Computer science), JAVA programming language, VISUALIZATION, DIAGNOSTIC imaging

New Approaches to Transcodification : Literature, Arts, and Media

Authors: Massimo Fusillo Doriana Legge Mirko Lino et al.

Resource Type: eBook.

Subjects: Adaptation (Literary, artistic, etc.)

Categories: 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

Authors: Franck Varenne

Resource Type: eBook.

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

Categories: HISTORY / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Social Aspects

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

Authors: A. Shirly Edward Rahul Krishnan P. Nagarajan et al.

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Electronics / General