標(biāo)題: Titlebook: Neural Information Processing; 24th International C Derong Liu,Shengli Xie,El-Sayed M. El-Alfy Conference proceedings 2017 Springer Interna [打印本頁(yè)] 作者: Falter 時(shí)間: 2025-3-21 20:05
書(shū)目名稱Neural Information Processing影響因子(影響力)
書(shū)目名稱Neural Information Processing影響因子(影響力)學(xué)科排名
書(shū)目名稱Neural Information Processing網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Neural Information Processing網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Neural Information Processing被引頻次
書(shū)目名稱Neural Information Processing被引頻次學(xué)科排名
書(shū)目名稱Neural Information Processing年度引用
書(shū)目名稱Neural Information Processing年度引用學(xué)科排名
書(shū)目名稱Neural Information Processing讀者反饋
書(shū)目名稱Neural Information Processing讀者反饋學(xué)科排名
作者: 殖民地 時(shí)間: 2025-3-21 21:27
n this paper is that the complexity of future railway systems of systems can be addressed with advantage only by a higher degree of distribution of functions on local interoperable computers - communicating by means of standard protocols - and by adopting a multi-level formal modelling suitable to s作者: 聰明 時(shí)間: 2025-3-22 02:24 作者: 健談 時(shí)間: 2025-3-22 05:38 作者: 細(xì)胞學(xué) 時(shí)間: 2025-3-22 10:09 作者: 文字 時(shí)間: 2025-3-22 13:31 作者: miniature 時(shí)間: 2025-3-22 17:40
Huazheng Zhou,Xiaohu Ma,Lina Bianhe new network from scratch—effectively “wasting” its earlier work on verifying the smaller network. In this paper, we present an enhancement to abstraction-based verification of neural networks, by using .: the process of utilizing information acquired when verifying an abstract network, in order t作者: Interim 時(shí)間: 2025-3-22 23:37 作者: infinite 時(shí)間: 2025-3-23 01:36 作者: peak-flow 時(shí)間: 2025-3-23 07:57 作者: Mutter 時(shí)間: 2025-3-23 13:13
Xiuling Zhou,Jing Wang,Ping Guo,C. L. Philip Chenhe new network from scratch—effectively “wasting” its earlier work on verifying the smaller network. In this paper, we present an enhancement to abstraction-based verification of neural networks, by using .: the process of utilizing information acquired when verifying an abstract network, in order t作者: 鎮(zhèn)壓 時(shí)間: 2025-3-23 17:40 作者: 職業(yè) 時(shí)間: 2025-3-23 19:58 作者: nonplus 時(shí)間: 2025-3-23 23:35
Hualong Huang,Bo Huang,Hongtao Lu,Huiyu Wengelationship between the complexity of the behaviour model and the accuracy of the decision tree. In particular, we highlight the impact of the norm and messenger effects, which are well-known influencers, and therefore the crucial importance to capture observations made by the agents. We demonstrate作者: 通情達(dá)理 時(shí)間: 2025-3-24 03:40 作者: 大都市 時(shí)間: 2025-3-24 10:05 作者: strain 時(shí)間: 2025-3-24 14:35 作者: Perceive 時(shí)間: 2025-3-24 16:12
Xiaocheng Liu,Wei Hong,Huiqiu Lu to consistency and redundancy checking of requirements and to finding minimum cut-sets for safety analysis. We further discuss various heuristics and evaluate their efficiency, measured primarily by the number of validity queries, on a?preliminary set of experiments.作者: 一大群 時(shí)間: 2025-3-24 21:16 作者: frenzy 時(shí)間: 2025-3-25 01:08 作者: chronology 時(shí)間: 2025-3-25 06:25
Discriminative Semi-supervised Learning Based on Visual Concept-Like Featurestraints of similar pairs and dissimilar pairs is introduced to measure these similarities, and a pseudo-mahalanobis distance is thus obtained to represent the similarities between data samples instead of Euclidean distance. Experiments showed the effectiveness of this learned distance. The new repre作者: Daily-Value 時(shí)間: 2025-3-25 08:55 作者: 混合 時(shí)間: 2025-3-25 15:37 作者: shrill 時(shí)間: 2025-3-25 18:03 作者: immunity 時(shí)間: 2025-3-25 21:39
of its computerized equipment..However the evolution of the technology of railways signalling systems in this long term has had a strong influence on the way formal methods can be applied in their design and implementation. At the same time important advances had been also achieved in the formal me作者: Offbeat 時(shí)間: 2025-3-26 02:06 作者: 跳脫衣舞的人 時(shí)間: 2025-3-26 05:42
Guangxing Han,Xuan Zhang,Chongrong Li of its computerized equipment..However the evolution of the technology of railways signalling systems in this long term has had a strong influence on the way formal methods can be applied in their design and implementation. At the same time important advances had been also achieved in the formal me作者: 構(gòu)成 時(shí)間: 2025-3-26 10:08 作者: collateral 時(shí)間: 2025-3-26 12:53 作者: Jocose 時(shí)間: 2025-3-26 18:12 作者: ANTE 時(shí)間: 2025-3-27 00:17 作者: 文件夾 時(shí)間: 2025-3-27 03:47
Zhiming Ding,Zhengzhong Zhou,Liqing Zhangvarious safety and liveness requirements. In recent years, numerous sound and complete verification methods have been proposed towards that end, but these typically suffer from severe scalability limitations. Recent work has proposed enhancing such verification techniques with abstraction-refinement作者: amyloid 時(shí)間: 2025-3-27 08:57
Fang Liu,Xiaofeng Wulable, and there is steady progress in research. However, cooperation between the two kinds of verifiers was not yet addressed in a modular way. Yet, it is imperative for the community to leverage all possibilities, because our society heavily depends on software systems that work correctly. This pa作者: burnish 時(shí)間: 2025-3-27 11:05
Xiang Li,Haohua Zhao,Liqing Zhanglable, and there is steady progress in research. However, cooperation between the two kinds of verifiers was not yet addressed in a modular way. Yet, it is imperative for the community to leverage all possibilities, because our society heavily depends on software systems that work correctly. This pa作者: 隱語(yǔ) 時(shí)間: 2025-3-27 17:06 作者: Nebulous 時(shí)間: 2025-3-27 17:48
Shuang Gu,Yao Lu,Lin Zhang,Jian Zhangables should be sensed from the context. According to the definitions found in the literature, whether something belongs to context, has to do with whether it is relevant. However, what it means to be relevant is left implicit in these definitions. Most work on context-aware systems is based on assu作者: HAIRY 時(shí)間: 2025-3-27 21:55
Bo Huang,Hualong Huang,Hongtao Lu observed within the organisation, or build a formal model, integrating known existing behavioural elements. Whereas the former approach can be costly and time-consuming, and it can be complicated to select the best classifier, it can be equally complicated to select the right parameters for a concr作者: 易碎 時(shí)間: 2025-3-28 06:03 作者: nonchalance 時(shí)間: 2025-3-28 07:00
Xiang Li,Yue Zhou observed within the organisation, or build a formal model, integrating known existing behavioural elements. Whereas the former approach can be costly and time-consuming, and it can be complicated to select the best classifier, it can be equally complicated to select the right parameters for a concr作者: 笨重 時(shí)間: 2025-3-28 13:17 作者: 同位素 時(shí)間: 2025-3-28 16:50 作者: engender 時(shí)間: 2025-3-28 22:33
Xiaocheng Liu,Wei Hong,Huiqiu Luse areas, there are often situations in which we are given a?set of configurations and a?property of interest with the goal of computing all the configurations for which the property is valid. Checking the validity of each single configuration may be a?costly process. We are thus interested in reduc作者: jeopardize 時(shí)間: 2025-3-28 22:53
Cheng Peng,Fanghui Liu,Haiyan Yang,Jie Yang,Nikola Kasabovse areas, there are often situations in which we are given a?set of configurations and a?property of interest with the goal of computing all the configurations for which the property is valid. Checking the validity of each single configuration may be a?costly process. We are thus interested in reduc作者: Engulf 時(shí)間: 2025-3-29 06:57
Scanpath Prediction Based on High-Level Features and Memory Biaseatures, hand-crafted high-level features, saccadic amplitude, memory bias cannot fully explain the mechanism of visual attention. In this paper, we propose a comprehensive method to predict scanpath from four aspects: low-level features, saccadic amplitude, semantic features learned via deep convol作者: Hiatus 時(shí)間: 2025-3-29 09:25 作者: ABASH 時(shí)間: 2025-3-29 13:43
A Novel Ant Colony Detection Using Multi-Region Histogram for Object Trackings for complicated tracking problems in real environment. Among those approaches, object feature definition is one of the most important component to obtain better accuracy in tracking. In this paper, we propose a novel multi-region feature selection method which defines histogram values of basic are作者: tic-douloureux 時(shí)間: 2025-3-29 17:35 作者: Camouflage 時(shí)間: 2025-3-29 21:18
Robust Visual Tracking via Occlusion Detection Based on Depth-Layer Informationed into the near, the target and the far layer. We find that when occlusion happens, some background patches in the near layer will move into the target region and hence occlude the target. Based on this feature of occlusion, we propose an algorithm which exploits both temporal and spatial context i作者: perimenopause 時(shí)間: 2025-3-30 00:55 作者: meritorious 時(shí)間: 2025-3-30 04:36 作者: 扔掉掐死你 時(shí)間: 2025-3-30 09:40
Discriminative Semi-supervised Learning Based on Visual Concept-Like Featureslearning methods usually use unlabeled data to augment the training set or regularize the decision boundary of classifiers. The classification results rely on the precision on unlabeled data using supervised classifiers trained with limited labeled samples. When a small number of labeled samples are作者: 壯麗的去 時(shí)間: 2025-3-30 12:41 作者: chisel 時(shí)間: 2025-3-30 16:31 作者: Antarctic 時(shí)間: 2025-3-30 22:45 作者: Encumber 時(shí)間: 2025-3-31 04:39
Convolutional Gated Recurrent Units Fusion for Video Action Recognition-stream ConvNets can further boost the performance. Existing fusion methods focus on short snippets thus fails to learn global representations for videos. We introduce a Convolutional Gated Recurrent Units (ConvGRU) fusion method to model long-term dependency inside actions. This fusion method takes作者: 肥料 時(shí)間: 2025-3-31 08:50 作者: 陰謀小團(tuán)體 時(shí)間: 2025-3-31 13:07 作者: urethritis 時(shí)間: 2025-3-31 16:27 作者: WITH 時(shí)間: 2025-3-31 19:37
An Improved Random Walk Algorithm for Interactive Image Segmentationbased algorithms have been proved to be efficient. However, a large number of seeds (i.e., pixels with user-specified labels) must be given in advance to achieve a desirable segmentation for such algorithms, which makes user interaction inconvenient. To solve this problem, we improve the random walk作者: Ccu106 時(shí)間: 2025-3-31 23:33 作者: Suppository 時(shí)間: 2025-4-1 04:56
Correlation Filters with Adaptive Memories and Fusion for Visual Tracking combine these features via a fixed weight. Likewise, these trackers also utilize a fixed learning rate to update their models, which makes CFTs easily drift especially when the target suffers heavy occlusions. To tackle these issues, we propose a dynamic decision fusion strategy to automatically le作者: Haphazard 時(shí)間: 2025-4-1 07:23
A Novel Ant Colony Detection Using Multi-Region Histogram for Object Trackinges smooth tracking on different video sequences, especially with Motion Blur problem. This approach is designed and tested in MATLAB 2016b environment. The experiment result demonstrates better and faster tracking performance and shows continuous tracking trajectory and competitive outcomes regarding to traditional methods.作者: Culmination 時(shí)間: 2025-4-1 10:28
Object Tracking Based on Mean Shift Algorithm and Kernelized Correlation Filter Algorithm to improve the tracking speed as much as possible, our object tracking algorithm works only over one layer. This hybrid algorithm has a good tracking effect on the target fast motion and motion blur. We present extensive experimental results on a number of challenging sequences in terms of efficiency, accuracy and robustness.
