檢索結果 - communication communication ((data decisions) OR (death decisions)) data proving

1

Distributed joint power control, beamforming and spectrum leasing for cognitive two-way relay networks

由 Iranpanah, Havzhin
出版 2017

主題: “...Wireless communication systems...”
獲取全文

Thesis

2

Integrated bi-objective model for cellular manufacturing system

由 Houshyar, Afsaneh Nouri
出版 2014

主題: “...Mobile communication systems...”
獲取全文

Thesis

3

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

出版 2005

書本目錄: “... Programming and Proving: The ELAN Experience Outcomes -- Towards Flexible Graphical Communication Using...”
獲取全文

電子電子書

4

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

出版 2007

書本目錄: “...Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational...”
獲取全文

電子電子書

5

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

出版 2008

書本目錄: “... Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality -- Assisted...”
獲取全文

電子電子書

6

Naive Bayesian decision model for the interoperability of heterogeneous systems in an intelligent building environment

由 Shahi, Ahmad, Sulaiman, Md. Nasir, Mustapha, Norwati, Perumal, Thinagaran
出版 2015

“...-intensive in nature. Conversely, performing decision making on these systems with a variety of building data...”
獲取全文

Article

7

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

出版 2007

書本目錄: “... and Secure Components I -- Security of Multithreaded Programs by Compilation -- Efficient Proving...”
獲取全文

電子電子書

8

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings /

出版 2007

書本目錄: “... TOPSIS -- A Framework for Proving the Security of Data Transmission Protocols in Sensor Network -- Port...”
獲取全文

電子電子書

9

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

出版 2005

書本目錄: “...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...”
獲取全文

電子電子書

10

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

出版 2005

書本目錄: “... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”
獲取全文

電子電子書

11

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amste...

出版 2013

書本目錄: “... Networks -- Distributed Systems and Networks -- Analyzing Grid Log Data with Affinity Propagation -- Using...”
獲取全文

電子電子書

12

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

出版 2010

書本目錄: “... Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant...”
獲取全文

電子電子書

13

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /

出版 2006

書本目錄: “... Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas...”
獲取全文

電子電子書

14

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

出版 2014

書本目錄: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
獲取全文

電子電子書

15

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

出版 2010

書本目錄: “... Manipulating Lists with Unbounded Data -- Termination Analysis with Compositional Transition Invariants -- Lazy...”
獲取全文

電子電子書

16

Lighter than Air Robots Guidance and Control of Autonomous Airships /

由 Bestaoui Sebbane, Yasmina., Bestaoui Sebbane, Yasmina.
出版 2012

書本目錄: “... with Uncertain Winds -- 3.5.1 Receding Horizon Approach -- 3.5.2 Markov Decision Process Approach -- 3.5.3...”
獲取全文

電子電子書

17

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

出版 2007

書本目錄: “...Invited Talks -- A Calculus and Algebra for Distributed Data Management -- The Büchi...”
獲取全文

電子電子書

18

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

出版 2015

書本目錄: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
獲取全文

電子電子書

19

Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings /

出版 2005

書本目錄: “... Parking Site -- Data Fusion for Photorealistic 3D Models -- Virtualized Real Object Integration...”
獲取全文

電子電子書

20

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

出版 2008

書本目錄: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
獲取全文

電子電子書

縮小搜索