Search Results - integrating normalization programming programming contracts https

Search alternatives:
integrating normalization » integration formalization , integrating visualization , integration formalisations
normalization programming » organization programming , organisation programming , communication programming
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
https » http

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
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

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

Published 2014

Table of Contents: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
View full text

Electronic eBook

Operator Theory and Indefinite Inner Product Spaces Presented on the Occasion of the Retirement of Heinz Langer in the Colloquium on Operator Theory, Vienna, March 2004 /

Published 2006

Table of Contents: “...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”
View full text

Electronic eBook

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revi...

Published 2006

Table of Contents: “... Communication -- A Commitment-Based Communicative Act Library -- Integrating Social Commitment-Based...”
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: “... Object Recognition with Application to Biological Images -- A New Method of Illumination Normalization...”
View full text

Electronic eBook

Industrial Engineering, Management Science and Applications 2015

Published 2015

Table of Contents: “... Clustering and Normalized Cross Correlation; Teerawut Wong-in, et al -- A Comparison Approach for Accuracy...”
View full text

Electronic eBook

Narrow Search