Bilaketaren emaitzak - communication test data ((decisions data) or (((decision a) or (decision game)))) invited

1

Data Science, Learning by Latent Structures, and Knowledge Discovery

Argitaratua 2015

Aurkibidea: “... Features -- Part VIII Data Analysis in Communication and Technology: What is in a Like? Preference...”
Testu osoa

Baliabide elektronikoa eBook

2

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011, Proceedings /

Argitaratua 2011

Aurkibidea: “... Recommender Systems -- Analogy-Making for Solving IQ Tests: A Logical View -- Using Case-Based Tests to Detect...”
Testu osoa

Baliabide elektronikoa eBook

3

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Argitaratua 2008

Aurkibidea: “... -- Parallel Immune System for Graph Coloring -- The Quantum Complexity of Group Testing -- Quantum Walks: A...”
Testu osoa

Baliabide elektronikoa eBook

4

Artificial Intelligence Applications and Innovations 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “... Decision Systems -- Prediction with Confidence Based on a Random Forest Classifier -- Fuzzy Logic...”
Testu osoa

Baliabide elektronikoa eBook

5

Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... on Crypto-Enforced Unicast Links -- Towards Modeling Trust Based Decisions: A Game Theoretic Approach...”
Testu osoa

Baliabide elektronikoa eBook

6

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “...Invited Talks -- A Calculus and Algebra for Distributed Data Management -- The Büchi...”
Testu osoa

Baliabide elektronikoa eBook

7

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

Argitaratua 2008

Aurkibidea: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Testu osoa

Baliabide elektronikoa eBook

8

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...

Argitaratua 2005

Aurkibidea: “...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”
Testu osoa

Baliabide elektronikoa eBook

9

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

Argitaratua 2006

Aurkibidea: “... -- Finitary Winning in ?-Regular Games -- Efficient Model Checking for LTL with Partial Order Snapshots -- A...”
Testu osoa

Baliabide elektronikoa eBook

10

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Argitaratua 2010

Aurkibidea: “... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”
Testu osoa

Baliabide elektronikoa eBook

11

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “... for Probabilistic Games -- A NuSMV Extension for Graded-CTL Model Checking....”
Testu osoa

Baliabide elektronikoa eBook

12

Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 Proceedings /

Argitaratua 2010

Aurkibidea: “... Test Sets for Reversible Circuits -- Approximate Counting with a Floating-Point Counter -- Network...”
Testu osoa

Baliabide elektronikoa eBook

13

Integrated Uncertainty Management and Applications

Argitaratua 2010

Aurkibidea: “... Collaboration Network via a Core Employee’s Communication? -- Restructuring of Rough Sets for Fuzzy Random Data...”
Testu osoa

Baliabide elektronikoa eBook

14

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”
Testu osoa

Baliabide elektronikoa eBook

15

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
Testu osoa

Baliabide elektronikoa eBook

16

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Argitaratua 2005

Aurkibidea: “... Strategies in Priced Timed Game Automata -- A Calculus for Trust Management -- Short-Cuts on Star, Source...”
Testu osoa

Baliabide elektronikoa eBook

17

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “...Invited Talks -- Learning, Information Extraction and the Web -- Putting Things in Order...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu