Search Results - intelligence transformation programming programming contracts https

Search alternatives:
intelligence transformation » intelligent transportation , intelligence information , intelligence misinformation
transformation programming » transformations programming , transformation programme , transformation programmed
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
https » http

Genetic Programming Theory and Practice XI

Published 2014

Table of Contents: “... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...”
View full text

Electronic eBook

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Published 2014

Table of Contents: “... Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Published 2010

Table of Contents: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
View full text

Electronic eBook

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Annotation Based on Topic-Based Smoothing -- A Focused Crawler with Document Segmentation -- An Intelligent...”
View full text

Electronic eBook

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Published 2008

Table of Contents: “...Ugo Montanari in a Nutshell -- Ugo Montanari in a Nutshell -- Graph Transformation -- Ugo Montanari...”
View full text

Electronic eBook

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...”
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: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... Annealing Algorithm -- Bi-level Programming Model and Taboo Search Algorithm in Industrial Location under...”
View full text

Electronic eBook

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006, Cancún, Mexico, November 14-17, 2006, Proce...

Published 2006

Table of Contents: “... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”
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: “... Watershed Algorithm -- Inferring Cause/Effect Relationships in Multi-sensor Ambient Intelligence Systems...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Published 2010

Table of Contents: “... Intelligence (BPI 2009) -- Analyzing Resource Behavior Using Process Mining -- Mobile Workforce Scheduling...”
View full text

Electronic eBook

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

Published 2012

Table of Contents: “... and Business Intelligence -- Using Domain Ontologies as Semantic Dimensions in Data Warehouses -- Sliced Column...”
View full text

Electronic eBook

Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “... Cosine Transform and Adaptive Median Filter -- Intelligent VoIP System in Ad-Hoc Network with Embedded...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...”
View full text

Electronic eBook

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I /

Published 2015

Table of Contents: “... fabricator -- Characterization of pneumonia incidence supported by a business intelligence system...”
View full text

Electronic eBook

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... Reader -- Intelligent Emergency Response System for Police Vehicles in India -- Adaptive Instantaneous...”
View full text

Electronic eBook

Industrial Engineering, Management Science and Applications 2015

Published 2015

Table of Contents: “... Caldo -- Artificial Intelligent System To Stop Bots From Playing Online Gamesartificial Intelligent...”
View full text

Electronic eBook

Narrow Search