systems；temporal

本专辑为您列举一些systems；temporal方面的下载的内容,systems；temporal等资源。把最新最全的systems；temporal推荐给您,让您轻松找到相关应用信息,并提供systems；temporal下载等功能。本站致力于为用户提供更好的下载体验，如未能找到systems；temporal相关内容，可进行网站注册，如有最新systems；temporal相关资源信息会推送给您。

阅读全文

systems；temporal

: Temporal Logic and State Systems 研究模型检测，了解时态逻辑，应该很有帮助
评级：0 浏览量：81 收藏量：1 资源大小：4.27MB 上传时间：2011-03-03

: 论文研究-Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf 基于混合时序逻辑的混合系统的模型检测，张海宾，，这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测
评级：0 浏览量：78 收藏量：0 资源大小：604KB 上传时间：2019-08-19

: Temporal Logics in Computer Science Temporal logics provide a generic... This book provides a comprehensive exposition of the most popular discrete-time temporal logics, used for reasoning about transition systems and computations in them.
评级：0 浏览量：106 收藏量：0 资源大小：5.69MB 上传时间：2018-04-19

: temporal:临时服务和CLI 颞Temporal是一个微服务编排平台，使开发人员能够构建可扩展的应用程序而不会牺牲生产力或可靠性。临时服务器以弹性方式执行应用程序逻辑单元，工作流，以自动处理间歇性故障并重试失败的操作。 Temporal是一项成熟...
评级：0 浏览量：238 收藏量：0 资源大小：2.69MB 上传时间：2021-03-06

: Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems
评级：0 浏览量：53 收藏量：0 资源大小：140KB 上传时间：2021-02-09

: Spatio-Temporal Properties Analysis for Cyber-Physical Systems Spatio-Temporal Properties Analysis for Cyber-Physical Systems
评级：0 浏览量：72 收藏量：0 资源大小：460KB 上传时间：2021-02-08

: RESEARCH ON TEMPORAL STRUCTURE FOR ACTION RECOGNITION We propose an algorithm to explore the temporal relationship between video trajectories and apply it to motion recognition and intelligent human-computer interaction systems. Trajectory components ...
评级：0 浏览量：66 收藏量：0 资源大小：330KB 上传时间：2021-02-07

: 论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf 混合系统状态模型的合成算法，张海宾，，这篇文章中，我们主要介绍了一个混合系统的描述模型，基于这个模型，我们定义了一个混合系统的偏序关系并建立了混合系统的格。并
评级：0 浏览量：67 收藏量：0 资源大小：429KB 上传时间：2019-08-15

: multipath-temporal-simo-wireless-systems.zip_通讯编程_matlab_ Multipath Spatial temporal SIMO
评级：0 浏览量：94 收藏量：0 资源大小：4.56MB 上传时间：2021-08-09

: Temporal Uncertainty of Geographical Information Temporal Uncertainty of Geographical Information，舒红，，Temporal uncertainty is a crossing point of temporal and error-aware geographical information systems. In Geoinformatics, temporal uncertainty...
评级：0 浏览量：70 收藏量：0 资源大小：121KB 上传时间：2020-01-19

: Spatio-Temporal-Data:存储与时空数据处理、预测相关的论文、代码仓库 Spatio-Temporal-Data 本仓库包含：时空数据处理、预测领域的相关论文；相关数据集；专家学者信息 Content Contact 交流群公众号
评级：0 浏览量：253 收藏量：5 资源大小：102.49MB 上传时间：2021-04-19

: Nonlinear temporal pulse cleaning techniques and application Two different pulse cleaning techniques for ultra-high contrast laser systems are comparably analysed in this work. The first pulse cleaning technique is based on noncollinear femtosecond optical-...
评级：0 浏览量：64 收藏量：0 资源大小：399KB 上传时间：2021-02-08

: Empirical Analysis of Collaborative Filtering-based Recommenders in Temporally Evolving Systems Recommender systems benefit people’s daily lives at every moment. While considerable attentions have been drawn by performance in one-step recommendation and static user-item network, recommenders’ ...
评级：0 浏览量：64 收藏量：0 资源大小：752KB 上传时间：2021-02-08

: Verifying specifications with associated attributes in graph transformation systems Verifying specifications with associated attributes in graph transformation systems
评级：0 浏览量：66 收藏量：0 资源大小：627KB 上传时间：2021-02-08

: smart-carpooling-demo:AAMAS 2018论文“通过并发规划进行集体适应”的在线资源库重要的是，所有文件夹（ universal-pddl-parser ， universal-pddl-parser temporal-planning ， smart-carpooling-demo ， VAL ）都位于同一路径中。 Python库要执行此存储库中包含的工具，需要安装以下Python库：...
评级：0 浏览量：49 收藏量：0 资源大小：12.54MB 上传时间：2021-05-01

: temporal logic of actions The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system ...
评级：0 浏览量：86 收藏量：0 资源大小：485KB 上传时间：2009-02-28

: Long-term performance of collaborative filtering based recommenders in temporally evolving systems Recommender systems benefit people at every moment in their daily life.... On this network, a recommendation-based evolution method is proposed to simulate the temporal dynamics between a recommen
评级：0 浏览量：81 收藏量：0 资源大小：1.48MB 上传时间：2021-02-08

: Simulation study of broadband long-pulsed amplification in high-power laser systems Accurately and efficiently predicting the fundamental-frequency temporal shape of broadband long-pulsed lasers is very important in research on the properties of high-power laser amplifiers....
评级：0 浏览量：81 收藏量：0 资源大小：310KB 上传时间：2021-02-23

: LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems first-order, temporal, modal, and program logics. Based on the encouraging feedback received from five continents we are pleased to hereby present the second edition of this text which means to ...
评级：5 浏览量：396 收藏量：0 资源大小：2.17MB 上传时间：2017-10-18

: 当时钟敲响时：探索游戏化在线学习系统中时间线索的心态影响-研究论文游戏化已广泛应用于在线学习系统中，以提高用户的满意度并防止他们退出。与核心学习模块相比，游戏化模块提供了更多的享乐价值，在短期内增加了用户的参与度，但这些模块也可能导致分心并阻碍学习表现。...
评级：0 浏览量：95 收藏量：0 资源大小：1.29MB 上传时间：2021-06-10

: Templar：使用时态逻辑的基于知识的软件规范语言-研究论文本文定义了软件规范语言Templar。语言的开发遵循以下目标：用Templar编写的需求规范应具有清晰的语法和形式语义，对于系统分析人员来说应易于开发，并且对于最终用户而言应易于理解，并且应易于将其映射到广泛的...
评级：0 浏览量：50 收藏量：0 资源大小：2.42MB 上传时间：2021-05-20

: 有限交替过渡系统的控制策略算法最近，人们对控制系统的形式分析和设计越来越感兴趣。在该领域中，为了降低控制系统的复杂性和规模，引入并探索了控制系统的有限抽象。其中，Pola和Tabuada将有限交替过渡系统构造为具有扰动输入的控制系统的近似...
评级：0 浏览量：33 收藏量：0 资源大小：1.63MB 上传时间：2021-03-09

: Kernel-Based Spatiotemporal Multimodeling for Nonlinear Distributed Parameter Industrial Processes Kernel-Based Spatiotemporal Multimodeling for Nonlinear Distributed Parameter Industrial Processes
评级：0 浏览量：70 收藏量：0 资源大小：1.12MB 上传时间：2021-02-10

: Efficient Execution of Multiple Queries on Deep Memory Hierarchy Our idea is based on the observation that, in many workloads such as decision support systems (DSS), there is usually significant amount of data sharing among different concurrent queries. ...
评级：0 浏览量：49 收藏量：0 资源大小：1024KB 上传时间：2021-02-20

: matlab做时间序列的代码-exp-trmf-nips16:高维时间序列预测的时间正则化矩阵分解实验代码 Systems (NIPS) 29, 2016. 介面 TRMF的核心代码是用C ++实现的。原始实验是使用Matlab界面完成的。根据请求，我重构了核心C ++代码并创建了一个易于使用的Python界面（带有Scipy / Numpy）。引文 Please ...
评级：0 浏览量：319 收藏量：1 资源大小：267KB 上传时间：2021-05-27

: tulip-control:时序逻辑规划工具箱郁金香这是TuLiP（时间逻辑计划工具箱）的源存储库。该项目的网站是安装在大多数情况下，满足以下条件： pip install . 也可以安装TuLiP： pip install tulip 这将安装最新版本以及必需的依赖项。...
评级：0 浏览量：65 收藏量：0 资源大小：705KB 上传时间：2021-04-30

: Learning Deterministic Probabilistic Automata from a Model Checking Perspective Probabilistic automata models play an important role in the formal design and analysis of hard- and software systems. In this area of applications, one is often interested in formal model-checking ...
评级：0 浏览量：66 收藏量：0 资源大小：1.21MB 上传时间：2021-02-07

: 复杂系统、“时空反合规协调”和网络中的启发式：对时髦效应、破产预测和替代风险溢价的批判。... 本文讨论了机器学习算法中的决策参数，更具体地说，批判了时髦效应（一组进化过程）的数学解释，并讨论了对投资组合管理和公司破产预测的影响（人工智能已经在两个领域）广泛使用）和公司政策。...
评级：0 浏览量：40 收藏量：0 资源大小：646KB 上传时间：2021-06-10

: Fuzzy and Neuro-Fuzzy Systems in Medicine Chapter 3—Brain State Identification and Forecasting of Acute Pathology Using Unsupervised Fuzzy Clustering of EEG Temporal Patterns 1. Introduction 2. Background 2.1 The Electroencephalogram ...
评级：0 浏览量：440 收藏量：3 资源大小：10.46MB 上传时间：2008-10-06

: knowledge-graphs:知识图谱研究集知识图知识方格纸，代码和阅读笔记的集合。库，软件和工具 KRL图书馆知识图数据库其他互动APP 课程，教程和研讨会课程相关回购 ...知识图谱概述：表示，获取和应用。 IEEE TNNLS 2021....艾丹·霍根（Aidan Hogan...
评级：0 浏览量：121 收藏量：0 资源大小：87KB 上传时间：2021-05-02

: matlabjnd代码-temporalCSFmodel:估计视频帧的时空正时差异曲线 "Spatio-Temporal Just Noticeable Distortion Profile for Grey Scale Image/Video in DCT Domain", Zhenyu Wei and King N. Ngan, IEEE Transactions on Circuits and Systems for Video Technology, Vol.19, No.3...
评级：0 浏览量：98 收藏量：1 资源大小：7KB 上传时间：2021-05-21

: TCLSTA_TCSVT2018:我们的TCSVT 2018论文“视频流时空关注的两流协作学习”的源代码-Source code learning Yuxin Peng, Yunzhen Zhao, and Junchao Zhang, "Two-stream Collaborative Learning with Spatial-Temporal Attention for Video Classification", IEEE Transactions on Circuits and Systems for Video ...
评级：0 浏览量：159 收藏量：0 资源大小：28.08MB 上传时间：2021-03-25

: High-speed and high-performance polarization-based quantum key distribution system without side ... Side channel effects such as temporal disparity and intensity fluctuation of the photon pulses caused by random bit generation with multiple laser diodes in high-speed polarization-based BB84 quantum ...
评级：0 浏览量：63 收藏量：0 资源大小：1.08MB 上传时间：2021-02-04

: Ghosting reduction in scene-based nonuniformity correction of infrared image sequences Scene-based adaptive nonuniformity correction (NUC) is currently being applied to achieve higher performance in infrared imaging systems. However, almost all scene-based NUC algorithms cause the ...
评级：0 浏览量：72 收藏量：0 资源大小：3.85MB 上传时间：2021-02-26

: Phase-modulation-combination system for the generation of arbitrarily shaped repetition rate pulses This method allows the arbitrary tuning of pulse width, repetition rate, and temporal profile in an all-fiber configuration. The system is compatible with and can be easily embedded in other systems ...
评级：0 浏览量：67 收藏量：0 资源大小：416KB 上传时间：2021-02-25

: Real-time observation of vortex mode switching in a narrow-linewidth mode-locked fiber laser Temporal and spatial resonant modes are always possessed in physical systems with energy oscillation. In ultrafast fiber lasers, enormous progress has been made toward controlling the interactions of ...
评级：0 浏览量：71 收藏量：0 资源大小：2.13MB 上传时间：2021-01-26

: Pro SQL Server Internals New in this second edition is coverage of SQL Server 2016 Internals, including In-Memory OLTP, columnstore enhancements, Operational Analytics support, Query Store, JSON, temporal tables, stretch ...
评级：0 浏览量：142 收藏量：0 资源大小：47.84MB 上传时间：2019-07-25

: Optical DE/MUX Components for Datacomunication Applications This paper reviews the potential for WDM systems to be implemented within datacommunication systems, and indicates future network functions. Spectral and temporal multiplexing functions are reviewed, ...
评级：0 浏览量：43 收藏量：0 资源大小：769KB 上传时间：2021-02-08

: Information and Computer Technology, Modeling and Control Chapter 24 Quantifying Temporal Correlations in Complex Processes via Algorithmic and Information Measures Chapter 25 The Numerical Algorithm for the Quasi-Linear Differential Equation of a Mixed Type...
评级：0 浏览量：142 收藏量：1 资源大小：9.68MB 上传时间：2019-01-06

: 【8】Deep neural networks Most current speech recognition systems use hidden Markov models (HMMs) to deal with the temporal variability of speech and Gaussian mixture models (GMMs) to determine how well each state of each HMM ...
评级：0 浏览量：65 收藏量：0 资源大小：593KB 上传时间：2019-08-26

: Baier, Katoen - 2008 - Principles of Model Checking.pdf It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate ...
评级：0 浏览量：206 收藏量：1 资源大小：5.53MB 上传时间：2018-02-09

: Reinforcement Learning with TensorFlow-Packt Publishing(2018) systems in your business surroundings. It is an effective method to train your learning agents and solve a variety of problems in artificial intelligence—from games, self- driving cars, and robots to...
评级：0 浏览量：162 收藏量：0 资源大小：28.62MB 上传时间：2018-05-26

: Handbook of Big Data Technologies 3 Temporal Evolution 4 Link Prediction 5 Community Detection 6 Graphs in Big Data 7 Weighted Networks 8 Extending Graph Models: Multilayer Networks 9 Open Challenges 10 Conclusions Granular Social ...
评级：0 浏览量：293 收藏量：2 资源大小：31.18MB 上传时间：2017-03-02

: Internetware.A.New.Software.Paradigm.for.Internet.Computing Chapter 9 Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems Chapter 10 Runtime Detection of the Concurrency Property in Asynchronous Pervasive ...
评级：0 浏览量：138 收藏量：0 资源大小：22.86MB 上传时间：2016-12-30

: Mobile SmartLife via Sensing, Localization, and Cloud Ecosystems-CRC(2018).pdf Large-scale deployment is rarely available and hard to share with junior developers for partial or temporal development. xxiii xxiv Towards Mobile SmartLife via Sensing, Localization, & Cloud ...
评级：0 浏览量：109 收藏量：0 资源大小：90.63MB 上传时间：2018-02-07

: Microsoft SQL Server 2016: A Beginner’s Guide, 6th Edition Chapter 1 Relational Database Systems: An Introduction Chapter 2 Planning the Installation and Installing SQL Server Chapter 3 SQL Server Management Studio Part II Transact-SQL Language 语言 Chapter ...
评级：0 浏览量：239 收藏量：3 资源大小：77.31MB 上传时间：2018-09-14

: Automata Theory and its Applications such as temporal logic and the fL-calculus. Suppose we take a mathematical logician 's point of view. Each of the classes of automata discussed has a corresponding natural decidable theory. As Rabin ...
评级：0 浏览量：187 收藏量：1 资源大小：8.04MB 上传时间：2018-04-21

: 计算机视觉（英文版） 3.3.3 Spatial and Temporal Effects 73 3.4 Application: Finding Specularities 73 3.5 Surface Colour from Image Colour 77 3.5.1 Surface Colour Perception in People 77 3.5.2 Inferring Lightness 80 3.5.3 ...
评级：0 浏览量：805 收藏量：2 资源大小：50.19MB 上传时间：2018-07-20

: Pro.SQL.Server.Internals New in this second edition is coverage of SQL Server 2016 Internals, including In-Memory OLTP, columnstore enhancements, Operational Analytics support, Query Store, JSON, temporal tables, stretch ...
评级：5 浏览量：175 收藏量：1 资源大小：47.61MB 上传时间：2016-12-02

: he.Rise.of.Big.Spatial.Data.3319451227 Chapter 18 Spatio-Temporal Variation of Accessibility by Public Transport—The Equity Perspective Chapter 19 MapReduce Based Scalable Range Query Architecture for Big Spatial Data Chapter 20 The ...
评级：0 浏览量：184 收藏量：0 资源大小：12.94MB 上传时间：2016-10-25

资源推荐

相关资源标签

Fuzzy Neuro-Fuzzy System Medicine Temporal Logic Spatial Data SQL Server Internals MICHAEL MARK RYAN Mobile 模型检测 Logics Automata TensorFlow 计算机视觉 Design mssql hybrid systems；temporal Logic；synthesis model checking；temporal logic；hybrid systems ai 深度学习学术论文首发论文 Probabilistic checking; automata learning; Linear time temporal logic Action recognition, structure, Trajectory component Recommender Systems; Online Collaborative Filtering; Evolving Network; Dynamics; Learning System, One-step Recommendation, Long-term Effect, Temporally Bipartite Network Graph Transformation; transformation system; analysis; Second-order logic; Symmetry reduction; specification; Theoretical 研究论文 cache performance; locality; scheduling; concurrent queries 论文红外成像 golang distributed-systems workflow-engine service-bus microservices-architecture workflows workflow-management microservice-framework workflow-automation Go alternating transition systems, finite abstraction, linear logic, control strategy algorith 系统开源 python verification specification abstraction synthesis Java natural-language-processing information-retrieval paper survey knowledge-graph question-answering representation-learning reasoning relation-extraction commonsense Languages Activities events rule-based languages online learning systems; effectiveness Portfolio Management; Complex Spatio-Temporal Artificial Prediction; Algorithms 通讯编程 matlab