Risultati della ricerca - ((communication constructions) or (communication operator)) orders decisions data linking

Cerca anche:
communication constructions » communication constructing , communication constructive , communication abstractions
communication operator » communication educator , communication over , communication conversation
orders decisions » orders decision , ordered decisions , order decision
decisions data » decision data , decisions eat , decisions david
data linking » data link , data loading , data working

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Pubblicazione 2006

Sommario: “... -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants...”
Testo

Elettronico eBook

Computation, Cryptography, and Network Security

Pubblicazione 2015

Sommario: “....-D. Chiang, T. Wang) -- Security and Formation of Network-Centric Operations (N.J. Daras) -- A Bio...”
Testo

Elettronico eBook

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Pubblicazione 2005

Sommario: “... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...”
Testo

Elettronico eBook

Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014 /

Pubblicazione 2015

Sommario: “... with using Ahybrid Method -- Membrane System for the Decision-making Problem -- The Operational Model...”
Testo

Elettronico eBook

Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) /

Pubblicazione 2014

Sommario: “... -- Loading Data into HBase -- Incomplete Decision-Theoretic Rough Sets Model based on Improved Complete...”
Testo

Elettronico eBook

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Data Storage Systems for an Unbounded Number of Clients -- Time and Communication Efficient Consensus...”
Testo

Elettronico eBook

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
Testo

Elettronico eBook

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision...”
Testo

Elettronico eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Pubblicazione 2007

Sommario: “... Multimedia Data Communication Networks -- EVM’s Java Dynamic Memory Manager and Garbage Collector...”
Testo

Elettronico eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Pubblicazione 2005

Sommario: “...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...”
Testo

Elettronico eBook

Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /

Pubblicazione 2015

Sommario: “... -- An Assistant Decision-Supporting Method for Urban Transportation Planning over Big Traffic Data -- An Improved...”
Testo

Elettronico eBook

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Using Citation Links and Co-citation Measure: Application to the Water Information System -- Semantic...”
Testo

Elettronico eBook

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
Testo

Elettronico eBook

Systemic Flexibility and Business Agility

Pubblicazione 2015

Sommario: “.... Flexibility as a Strategy for Reducing Cost of Renovation in Building Construction Projects -- Chapter 18...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”
Testo

Elettronico eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Pubblicazione 2008

Sommario: “... for Markov Decision Processes with Qualitative Branching Time Objectives -- On Datalog vs. LFP -- Directed st...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Testo

Elettronico eBook

Handbook of Performability Engineering

Pubblicazione 2008

Sommario: “... -- Binary Decision Diagrams for Reliability Studies -- Field Data Analysis for Repairable Systems: Status...”
Testo

Elettronico eBook

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Pubblicazione 2012

Sommario: “... for Structured Data -- Spectral Signal Unmixing with Interior-Point Nonnegative Matrix Factorization -- Hybrid...”
Testo

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

Pubblicazione 2010

Sommario: “... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...”
Testo

Elettronico eBook

Restringi la ricerca