Zoekresultaten - spaces evaluation programming programming contracts https

1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Gepubliceerd in 2013

Inhoudsopgave: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2010

Inhoudsopgave: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
Volledige tekst

Elektronisch E-boek

3

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Gepubliceerd in 2010

Inhoudsopgave: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volledige tekst

Elektronisch E-boek

4

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Instances by Iterative Backbone Contraction -- Point Location in the Continuous-Time Moving Network...”
Volledige tekst

Elektronisch E-boek

5

Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic...”
Volledige tekst

Elektronisch E-boek

6

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Gepubliceerd in 2014

Inhoudsopgave: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volledige tekst

Elektronisch E-boek

7

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Volledige tekst

Elektronisch E-boek

8

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”
Volledige tekst

Elektronisch E-boek

9

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures...”
Volledige tekst

Elektronisch E-boek

10

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...”
Volledige tekst

Elektronisch E-boek

11

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-...

Gepubliceerd in 2006

Inhoudsopgave: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Volledige tekst

Elektronisch E-boek

12

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis...”
Volledige tekst

Elektronisch E-boek

13

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Volledige tekst

Elektronisch E-boek

14

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers /

Gepubliceerd in 2013

Inhoudsopgave: “... and Bases in Permutation Groups.- Parameterized Complexity of Two Edge Contraction Problems with Degree...”
Volledige tekst

Elektronisch E-boek

15

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Gepubliceerd in 2010

Inhoudsopgave: “...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”
Volledige tekst

Elektronisch E-boek

16

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Gepubliceerd in 2007

Inhoudsopgave: “... -- Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces -- A Model of an Amorphous...”
Volledige tekst

Elektronisch E-boek

17

Applied Computing and Information Technology

Gepubliceerd in 2014

Inhoudsopgave: “... Application to Library Data Mining -- Hard Optimization Problems in Learning Tree Contraction Patterns -- A...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2013

Inhoudsopgave: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
Volledige tekst

Elektronisch E-boek

19

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Gepubliceerd in 2005

Inhoudsopgave: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
Volledige tekst

Elektronisch E-boek

20

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Gepubliceerd in 2013

Inhoudsopgave: “... Classification using Supervised Sub-Spacing -- Intelligent Agents -- On Applying Adaptive Data Structures...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken