Resultados da pesquisa - functions functional programming decision based tools*

1

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

Publicado em 2008

Sumário: “...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Web-based decision support system for production efficiency rewarding /

Por Wong, Shau Meng.

Thesis Livro

3

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Publicado em 2010

Sumário: “... of Social Choice Functions -- Signatures for Assessment, Diagnosis and Decision-Making in Ageing -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Data Analysis and Decision Support

Publicado em 2005

Sumário: “... Processes -- Decision Support -- Linking Quality Function Deployment and Conjoint Analysis for New Product...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Publicado em 2015

Sumário: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

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

Publicado em 2005

Sumário: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado em 2005

Sumário: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Towards the Internet of Services: The THESEUS Research Program

Publicado em 2014

Sumário: “... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Twofold Integer Programming Model for Improving Rough Set Classification Accuracy in Data Mining.

Por Saeed, Walid
Publicado em 2005

Assuntos: “...Programming language(Electronic computer)...”
Obter o texto integral

Thesis

10

Twofold Integer Programming Model for Improving Rough Set Classification Accuracy in Data Mining.

Por Saeed, Walid
Publicado em 2005

“.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...”
Obter o texto integral

Thesis

11

Agriculture Land Suitability Evaluator (ALSE): a decision and planning support tool for tropical and subtropical crops.

Por Elsheikh, Ranya, Mohamed Shariff, Abdul Rashid, Amiri, Fazel, Ahmad, Noordin, Balasundram, Siva Kumar, Mohd Soom, Mohd Amin
Publicado em 2013

“... realistic, practicable and functional systems. It is useful for decision makers to determine the quality...”
Obter o texto integral

Artigo

12

Modeling Markets Analyzing Marketing Phenomena and Improving Marketing Decision Making /

Por Leeflang, Peter S.H., Leeflang, Peter S.H., Wieringa, Jaap E., Bijmolt, Tammo H.A., Pauwels, Koen H.
Publicado em 2015

Assuntos: “...Decision making....”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Publicado em 2010

Sumário: “... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Publicado em 2010

Sumário: “... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Publicado em 2007

Sumário: “... to Dynamic Systems Co-evolution -- What’s in a Service? -- Full Research Papers -- Pattern-Based Evolution...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicado em 2008

Sumário: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Multi-objective Management in Freight Logistics Increasing Capacity, Service Level and Safety with Optimization Algorithms /

Por Caramia, Massimiliano., Caramia, Massimiliano., Dell'Olmo, Paolo.
Publicado em 2008

Assuntos: “...Decision making....”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2015

Sumário: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obter o texto integral

Recurso Electrónico livro electrónico