Hakutulokset - integration action processing programmed solving https

1

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”
Hae kokoteksti

Elektroninen E-kirja

2

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Julkaistu 2007

Sisällysluettelo: “... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...”
Hae kokoteksti

Elektroninen E-kirja

3

Integrated Graphic and Computer Modelling

Tekijä Thomas, Adrian., Thomas, Adrian.
Julkaistu 2008

Sisällysluettelo: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Hae kokoteksti

Elektroninen E-kirja

4

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”
Hae kokoteksti

Elektroninen E-kirja

5

Information Processing and Management International Conference on Recent Trends in Business...

Julkaistu 2010

Sisällysluettelo: “... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”
Hae kokoteksti

Elektroninen E-kirja

6

Extending SSIS with .NET Scripting A Toolkit for SQL Server Integration Services /

Tekijä van Rossum, Joost., van Rossum, Joost., Baccaro, Regis.
Julkaistu 2015

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

7

Policymaking for a Good Society The Social Fabric Matrix Approach to Policy Analysis and Program Evaluation /

Tekijä Hayden, F. Gregory., Hayden, F. Gregory.
Julkaistu 2006

Aiheet: “...Political Science. https://scigraph.springernature.com/ontologies/product-market-codes/911000...”
Hae kokoteksti

Elektroninen E-kirja

8

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”
Hae kokoteksti

Elektroninen E-kirja

9

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Hae kokoteksti

Elektroninen E-kirja

10

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Hae kokoteksti

Elektroninen E-kirja

11

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- Location-Based Activity Recognition -- Papers -- Pinpointing in the Description Logic -- Integrating...”
Hae kokoteksti

Elektroninen E-kirja

12

Handbook of Research on Educational Communications and Technology

Julkaistu 2014

Sisällysluettelo: “... -- Technology integration in multi-cultural settings -- Technology integration for problem solving and decision...”
Hae kokoteksti

Elektroninen E-kirja

13

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...”
Hae kokoteksti

Elektroninen E-kirja

14

Informatics Education - Supporting Computational Thinking Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland,...

Julkaistu 2008

Sisällysluettelo: “... Coders to Top IT Professionals -- Didactical Merits of Robot-Based Instruction -- Integrating...”
Hae kokoteksti

Elektroninen E-kirja

15

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Julkaistu 2005

Sisällysluettelo: “... Algorithms -- Solving the Multidimensional Knapsack Problem Using an Evolutionary Algorithm Hybridized...”
Hae kokoteksti

Elektroninen E-kirja

16

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Hae kokoteksti

Elektroninen E-kirja

17

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Hae kokoteksti

Elektroninen E-kirja

18

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction...”
Hae kokoteksti

Elektroninen E-kirja

19

Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 20...

Julkaistu 2008

Sisällysluettelo: “... Spatial Knowledge through Problem-Solving in Virtual Learning Environments -- Role-Play Virtual...”
Hae kokoteksti

Elektroninen E-kirja

20

Service Science, Management and Engineering Education for the 21st Century /

Julkaistu 2008

Sisällysluettelo: “... to Service Sciences, Management and Engineering -- Actionable Process Theories: A Unique Selling Proposition...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua