標(biāo)題: Titlebook: Neural Information Processing; 19th International C Tingwen Huang,Zhigang Zeng,Chi Sing Leung Conference proceedings 2012 Springer-Verlag B [打印本頁] 作者: FAD 時(shí)間: 2025-3-21 16:53
書目名稱Neural Information Processing影響因子(影響力)
書目名稱Neural Information Processing影響因子(影響力)學(xué)科排名
書目名稱Neural Information Processing網(wǎng)絡(luò)公開度
書目名稱Neural Information Processing網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Neural Information Processing被引頻次
書目名稱Neural Information Processing被引頻次學(xué)科排名
書目名稱Neural Information Processing年度引用
書目名稱Neural Information Processing年度引用學(xué)科排名
書目名稱Neural Information Processing讀者反饋
書目名稱Neural Information Processing讀者反饋學(xué)科排名
作者: 用肘 時(shí)間: 2025-3-21 20:20
Neural Information Processing978-3-642-34475-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 類型 時(shí)間: 2025-3-22 01:48
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/663613.jpg作者: 昏暗 時(shí)間: 2025-3-22 08:32
https://doi.org/10.1007/978-3-642-34475-6computational neuroscience; fuzzy inference system; intrusion detection; nonlinear systems; self-organiz作者: 侵略 時(shí)間: 2025-3-22 08:51
Tingwen Huang,Zhigang Zeng,Chi Sing LeungFast track conference proceedings.Unique visibility.State of the art research作者: 享樂主義者 時(shí)間: 2025-3-22 13:11 作者: 全面 時(shí)間: 2025-3-22 20:02 作者: 收集 時(shí)間: 2025-3-22 23:40 作者: 觀察 時(shí)間: 2025-3-23 02:58
Design of Distribution Independent Noise Filters with Online PDF Estimationof probability density function estimation and dynamic state estimation. Novel on-line probability density estimation techniques, using various unsupervised kernel based methods are presented. The proposed methods are stable, based on simple but flexible representations and are computationally tract作者: 優(yōu)雅 時(shí)間: 2025-3-23 07:25
Determining Effective Connectivity from FMRI Data Using a Gaussian Dynamic Bayesian Networkused to determine the effective connectivity from functional magnetic resonance imaging (fMRI) data in an exploratory manner and provide a new method for the interactions among brain regions. However, Gaussian BN ignores the temporal relationships of interactions among brain regions, while discrete 作者: 鴕鳥 時(shí)間: 2025-3-23 11:32 作者: instructive 時(shí)間: 2025-3-23 15:50 作者: Diluge 時(shí)間: 2025-3-23 21:12 作者: Cardiac-Output 時(shí)間: 2025-3-24 01:55
Decoding Cognitive States from Neural Activities of Somatosensory Cortexhe neural prosthetics design is to develop control policies for prosthesis movements. This requires an estimation of cognitive states. Previous works mostly used premotor and primary motor neurons to estimate cognitive states. Here we demonstrate that the recorded neural activity from the somatosens作者: scrutiny 時(shí)間: 2025-3-24 05:21 作者: 不公開 時(shí)間: 2025-3-24 06:49 作者: 枕墊 時(shí)間: 2025-3-24 12:51 作者: gorgeous 時(shí)間: 2025-3-24 18:35
Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behaviorrly or late bidding and how much to bid. This paper designs a novel fuzzy dynamic bidding agent (FDBA) which uses a comprehensive method for initial price estimation and price forecasting. First, FDBA selects an auction to participate in and calculates its initial price based on clustering and bid s作者: alabaster 時(shí)間: 2025-3-24 22:02
Non-convex Optimization on Stiefel Manifold and Applications to Machine Learninghigh-performance learning algorithms. On the other hand, non-convex optimization is also required in machine learning. In this paper, especially we deal with non-convex optimization problems on the Stiefel manifold. The Stiefel manifold consists of rectangular matrices, and many important problems i作者: incontinence 時(shí)間: 2025-3-25 00:15 作者: BUDGE 時(shí)間: 2025-3-25 04:23
Nearly Optimal Control for Nonlinear Systems with Dead-Zone Control Input Based on the Iterative ADP). The discrete-time Hamilton-Jacobi-Bellman (DTHJB) equation corresponding to the dead-zone control input is formulated. Based on ADP technique, a new cost function is proposed that solves the optimal control with dead zone constraints effectively. It shows that this algorithm allows the implementa作者: corpuscle 時(shí)間: 2025-3-25 10:24 作者: 前兆 時(shí)間: 2025-3-25 13:14 作者: 陶瓷 時(shí)間: 2025-3-25 16:41
Load Forecasting Accuracy through Combination of Trimmed Forecasts reported in the literature. Their popularity is mainly due to their excellent learning and approximation capabilities. However, NN models suffer from the problem of forecasting performance fluctuations in different runs, due to their development and training processes. Averaging of forecasts genera作者: Cosmopolitan 時(shí)間: 2025-3-25 22:16 作者: Ccu106 時(shí)間: 2025-3-26 02:56 作者: 哭得清醒了 時(shí)間: 2025-3-26 06:16 作者: 幾何學(xué)家 時(shí)間: 2025-3-26 10:47
Manjusri Wickramasinghe,Jayantha Rajapakse,Damminda Alahakoonbit building trust in their behavior, which is crucial in safety critical applications such as autonomous driving. Therefore, techniques which aid in understanding and providing guarantees for neural network behavior are the need of the hour. In this paper, we present a case study applying a recentl作者: 或者發(fā)神韻 時(shí)間: 2025-3-26 13:47
Noor Almaadeed,Amar Aggoun,Abbes Amirath piecewise affine activation units, which may be encoded symbolically as a piecewise affine mapping from inputs to outputs. The approach rests on characterizing and bounding a critical subset of the state space where controller action is required, partitioning this critical subset, and using satis作者: Precursor 時(shí)間: 2025-3-26 19:29 作者: 薄膜 時(shí)間: 2025-3-27 00:10
Kleanthis C. Neokleous,Marios N. Avraamides,Costas K. Neocleous,Christos N. Schizassed on the existing SPIRAL system, HELIX adds the rigor of formal verification of its correctness using the Coq proof assistant. It formally defines a series of domain-specific languages starting with ., which represents a computation data flow. HELIX works by transforming the original program throu作者: BOAST 時(shí)間: 2025-3-27 02:56
Wajid Mumtaz,Likun Xia,Aamir Saeed Malik,Mohd Azhar Mohd Yasinby using more expressive underlying abstract domains, such as zonotopes. The original method, which relies on iterative refinement, splitting and tightening a collection of abstract elements until reaching an inductive set, was initially presented in combination with simple underlying abstract eleme作者: Halfhearted 時(shí)間: 2025-3-27 06:25
Ahmed Al-Ani,Bram Van Dun,Harvey Dillon,Alaleh Rabieby using more expressive underlying abstract domains, such as zonotopes. The original method, which relies on iterative refinement, splitting and tightening a collection of abstract elements until reaching an inductive set, was initially presented in combination with simple underlying abstract eleme作者: 無動(dòng)于衷 時(shí)間: 2025-3-27 09:43
Preetinder Kaur,Madhu Goyal,Jie Luowever, modern object-oriented applications make heavy use of third-party .. These provide various functionalities (like libraries), as well as an extension of the execution model of the program. Applying standard models to statically analyze software relying on such frameworks could be potentially 作者: 種族被根除 時(shí)間: 2025-3-27 16:41
Takafumi Kanamori,Akiko Takedaqualities are meaningless, is correctness. One method that purported to guarantee correctness is a top-down program development based on mathematical modeling. We illustrate the method by using the Vienna Definition Method - Specification Language, supported by CSK’s Toolbox. Under ideal circumstanc作者: 不透明 時(shí)間: 2025-3-27 18:37 作者: 享樂主義者 時(shí)間: 2025-3-28 00:32
Dehua Zhang,Derong Liu,Qinglai Weiin the program (the descriptive analysis). Static analysis is also a prerequisite for structural, white-box program testing. Either kind of static analysis can be carried out at the procedural or at the system level. In this chapter we first discuss the detection of control and data flow anomalies u作者: Rheumatologist 時(shí)間: 2025-3-28 03:09
Sadjia Benkhider,Oualid Dahmri,Habiba Driasared with the expected ones, prescribed by the testing “oracle,” ideally the program specification. However, in structural testing, tests are synthesized on the basis of the code itself, rather than its specification. A structural testing strategy is defined in terms of ., i.e, program statements, o作者: 幼兒 時(shí)間: 2025-3-28 10:11 作者: refine 時(shí)間: 2025-3-28 12:50
Saima Hassan,Abbas Khosravi,Jafreezal Jaafar,Samir B. Belhaouaril notion of safety for classifiers via constraints called .. These constraints relate requirements on the order of the classes output by a classifier to conditions on its input, and are expressive enough to encode various interesting examples of classifier safety specifications from the literature. 作者: inventory 時(shí)間: 2025-3-28 15:36 作者: Outwit 時(shí)間: 2025-3-28 21:31
Does Social Network Always Promote Entrepreneurial Intentions? Part I: Theoretical Modelal feasibility are set between social network and entrepreneurial intension. The further research of this paper is to verify the theoretical model with database of Chinese College-graduate Village Officials samples, which will be discussed in part II.作者: 有特色 時(shí)間: 2025-3-29 02:36
Load Forecasting Accuracy through Combination of Trimmed Forecastsformance of the proposed method is examined using a real world data set. Demonstrated results show that although trimmed forecasts are not the best possible ones, they are better than forecasts generated by individual NN models in almost 70% of the cases.作者: 是剝皮 時(shí)間: 2025-3-29 04:28 作者: 阻撓 時(shí)間: 2025-3-29 10:28 作者: 現(xiàn)代 時(shí)間: 2025-3-29 14:20
A. G. Radwan,Ahmed S. Elwakily different kinds of properties on floating point computations up?to bounds on rounding errors. The demonstration is done on a computation of a weighted average using floating-point numbers, using an approach which is heavily based on auto-active verification. We use the general-purpose tool SPARK f作者: gospel 時(shí)間: 2025-3-29 16:06
Manjusri Wickramasinghe,Jayantha Rajapakse,Damminda Alahakoonness and safety properties of the model. We show the use of these patterns to identify features of the input that explain correct and incorrect behavior. We also use the patterns to provide guarantees of consistent behavior. We explore a novel idea of using sequences of images (instead of single ima作者: BOON 時(shí)間: 2025-3-29 20:32
Noor Almaadeed,Amar Aggoun,Abbes Amiraements, and determine that the rest of the critical set partition elements are potentially unsafe. We further experimentally confirm the existence of actual adversarial collision scenarios in 90% of the identified potentially unsafe critical partition elements, indicating that our approach is reason作者: 詩集 時(shí)間: 2025-3-30 02:48
Xiaoxu Kang,Marc Schieber,Nitish V. Thakorness and safety properties of the model. We show the use of these patterns to identify features of the input that explain correct and incorrect behavior. We also use the patterns to provide guarantees of consistent behavior. We explore a novel idea of using sequences of images (instead of single ima作者: Libido 時(shí)間: 2025-3-30 06:42
Kleanthis C. Neokleous,Marios N. Avraamides,Costas K. Neocleous,Christos N. Schizas also introducing a memory model, lexical scoping, monadic error handling, and transition from abstract algebraic datatype to floating-point numbers. We will demonstrate the design of these languages, the automatic reification between them, and automated proofs of semantic preservation, in Coq.作者: 通情達(dá)理 時(shí)間: 2025-3-30 08:13
Wajid Mumtaz,Likun Xia,Aamir Saeed Malik,Mohd Azhar Mohd Yasinnd tested it on programs with non-linear loops that present complex, possibly non-convex, invariants. We present some results demonstrating both the interest of this splitting-based algorithm to synthesize invariants on such programs, and the good compromise presented by its use in combination with 作者: omnibus 時(shí)間: 2025-3-30 13:36 作者: 出沒 時(shí)間: 2025-3-30 18:55 作者: Hypomania 時(shí)間: 2025-3-31 00:24
Takafumi Kanamori,Akiko Takeda, blunders are inevitable and, therefore, software analysis and testing will always be necessary. Third, the faults that appear in the process tend to be quite subtle and their detection may be more difficult than in the general case. Finally, the VDM-SL is used here only as a tool supporting the to作者: TEN 時(shí)間: 2025-3-31 02:22
Liviu Petrisor Dinu,Radu-Tudor Ionescu,Marius Popescu the specification. Moreover, as is later demonstrated in Chap. 8, BB-testing is the ONLY practical testing method: Structural testing can only serve as a measure of adequacy of BB-testing. Thus we argue that in an ideal scenario (1) a BB-test should be prepared before an implementation of the probl作者: 民間傳說 時(shí)間: 2025-3-31 06:11 作者: JAMB 時(shí)間: 2025-3-31 12:28
Sadjia Benkhider,Oualid Dahmri,Habiba Drias currently out of the question. It can only be used as a measure of completeness of BB-testing. The main weakness of structural testing is the lack of sound theoretical foundations. To remedy this situation, an attempt has been made to (1) define formally the notions of program faults and errors in 作者: FLAG 時(shí)間: 2025-3-31 16:22 作者: Gratuitous 時(shí)間: 2025-3-31 21:33
Saima Hassan,Abbas Khosravi,Jafreezal Jaafar,Samir B. Belhaouariassification accuracy of the original network whenever possible. Our approach is independent of the size and architecture of the neural network used for classification, depending only on the specified property and the dimension of the network’s output; thus it is scalable to large state-of-the-art n
