Filters








7,921 Hits in 3.8 sec

Components, Frameworks and GKS Input [article]

D. A. Duce, P.J.W. Ten Hagen, R. Van Liere
1989 Eurographics State of the Art Reports  
The paper shows how a formal description of the GKS input model may be given in Hoare's CSP notation and explores some extensions in which some of the components in the GKS model are replaced by more interesting  ...  The paper thus demonstrates some of the power and flexibility inherent in the Component/ Frameworks idea.  ...  Conclusions This paper has demonstrated how a Component/ Frameworks style description of the GKS input model can be given in the CSP notation.  ... 
doi:10.2312/egtp.19891007 fatcat:226rz3n7l5cpldy5pulj6kw6di

Poly-Many Hardcore Bits for Any One-Way Function and a Framework for Differing-Inputs Obfuscation [chapter]

Mihir Bellare, Igors Stepanovs, Stefano Tessaro
2014 Lecture Notes in Computer Science  
Of independent interest is a definitional framework for differing-inputs obfuscation in which security is parameterized by circuit-sampler classes.  ...  In the general case, we assume the existence of differing-input obfuscation (diO), but of a form weaker than full auxiliary-input diO.  ...  Acknowledgments We thank Daniel Wichs and Elette Boyle for comments and discussions.  ... 
doi:10.1007/978-3-662-45608-8_6 fatcat:ziqlv274szewjg3jd4l47erwta

QE-integrating framework based on Github knowledge and SVM ranking

Qing Huang, Huaiguang Wu
2019 Science China Information Sciences  
In addition, we implement a black-box framework that integrates multiple QE methods based on the support vector machine ranking called Github knowledge search repository (GKSR).  ...  ., the application program interface (API) information and crowd knowledge).  ...  Table 1 shows that c 1 is returned by the components based on both GK and the API, c 2 is returned by all the components, and c 3 is returned by the components based on GK.  ... 
doi:10.1007/s11432-017-9465-9 fatcat:bkvtprofbbdhbftw6wt7qfds4q

EEG Signal Dimensionality Reduction and Classification using Tensor Decomposition and Deep Convolutional Neural Networks [article]

Mojtaba Taherisadr, Mohsen Joneidi, Nazanin Rahnavard
2019 arXiv   pre-print
We test our proposed framework on HCB-MIT data and as results show our approach outperforms other previous studies.  ...  Employing super-slices not only handles the artifacts and redundancies of the EEG data but also reduces the dimension of the CNNs training inputs.  ...  Fig. 7 proposed framework associated with different CNN parameters and TF approaches. F S indicates filter size and SPEK, GK, SWV, WV, MB, and SPEC are TF methods.  ... 
arXiv:1908.10432v1 fatcat:3spu3o42qja65gymlfdps4t75a

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

Karine Altisen, Yanhong Liu, Matthieu Moy
2010 Electronic Proceedings in Theoretical Computer Science  
Our framework can help to achieve tradeoffs between precision and analysis time.  ...  In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component.  ...  Indeed, it is easy to see that the arrival (resp. service) pattern for the coarse input streams are lower and upper bounded byξ (gk) (resp. ψ(gk)) for all k ≥ 0.  ... 
doi:10.4204/eptcs.28.2 fatcat:3pw5y6dbcfffrf6c7atdmc3z4q

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata [article]

Karine Altisen, Yanhong Liu, Matthieu Moy
2010 arXiv   pre-print
Our framework can help to achieve tradeoffs between precision and analysis time.  ...  In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component.  ...  Indeed, it is easy to see that the arrival (resp. service) pattern for the coarse input streams are lower and upper bounded byξ (gk) (resp. ψ(gk)) for all k ≥ 0.  ... 
arXiv:1004.2637v1 fatcat:q2pfloknkbdfnbmxl3pslalmxe

GKS: Graph-based Knowledge Selector for Task-oriented Dialog System [article]

Jen-Chieh Yang, Jia-Yan Wu, Sung-Ping Chang, Ya-Chieh Huang
2021 arXiv   pre-print
Moreover, GKS leverages considerable knowledge in decision-making and takes relations across knowledge as part of the selection process.  ...  However, while approaches that rely on the language models take all knowledge as sequential input, knowledge does not contain sequential information in most circumstances.  ...  GKS does not simply concatenate knowledge and question together into a language model as input and output prediction.  ... 
arXiv:2112.03719v2 fatcat:h6zon3drxbhg3mtkbzkyvvma6a

Factoring Algorithms for Computing K-Terminal Network Reliability

R. Kevin Wood
1986 IEEE Transactions on Reliability  
A unified framework is provided for complexity analysis and for determining optimal factoring strategies. Recent results are reviewed and extended within this framework.  ...  math needed to use results: Same Results useful to: Reliability analysts and theoreticians Abstract-Let GK denote a graph G whose edges can fail and with a set K C V specified.  ...  The input graph GK is connected and nonseparable.  ... 
doi:10.1109/tr.1986.4335431 fatcat:xkrrloaqdjeubowd65hjybjhz4

Multivariable frequency-weighted order reduction

BARTON J. BACON, DAVID K. SCHMIDT
1989 Journal of Guidance Control and Dynamics  
Clearly, state directions t, more significant to the system’s input behavior generally yield larger components of ¥( jw), or xf jw) and tu7 X( jo) are large.  ...  The configuration, if it is stable, has the following major prop- erties: 1) Input-output behavior: y = GK(1 + GK)~'(y. —n) +(1 + GK) ~'d (1) e=y.  ... 
doi:10.2514/3.20373 fatcat:ulint3ah2vghdp5wi5wcepggnu

Segmenting Tooth Components in Dental X-Ray Images Using Gaussian Kernel- Based Conditional Spatial Fuzzy C-Means Clustering Algorithm

Arna Fariza, Agus Arifin, Eha Astuti, Takio Kurita
2019 International Journal of Intelligent Engineering and Systems  
The aim of this paper is to divide the tooth into 3 components, i.e. enamel, dentine, and pulp.  ...  The experimental results on the real dental X-ray images showed that GK-csFCM has better performance than the typical FCM and csFCM clustering algorithms in terms of both qualitative and quantitative metrics  ...  Acknowledgments The research for this paper was financially supported by the Ministry of Research, Technology and Higher Education, Republic of Indonesia through the Penelitian Disertasi Doktor research  ... 
doi:10.22266/ijies2019.0630.12 fatcat:2ao2slm4svcu5g4r5po5tpkbui

Autonomous Context-Based Service Optimization in Mobile Cloud Computing

Piotr Nawrocki, Bartlomiej Sniezynski
2017 Journal of Grid Computing  
and the cloud.  ...  The main objective of this paper is to investigate the possibilities for using a decision module on mobile devices in order to autonomously optimize the execution of services within the framework of Mobile  ...  We thank Małgorzata Płażek, Jakub Czyżewski and Daniel Olszowski for assistance with implementation and testing.  ... 
doi:10.1007/s10723-017-9406-2 fatcat:6opha3pvobc2bkiybjymgv4rse

Toward a formal theory of model integration

Marco Gagliardi, Cosimo Spera
1995 Annals of Operations Research  
Section 3 defines the levels of integration, while in sections 4 and 5 some examples are presented. Remarks and future extensions conclude the paper.  ...  Of course, any formal theory has to be based on a given framework; in our case, we consider only models which satisfy the core concepts of Structured Modeling. The outline of the paper is as follows.  ...  The genus aj is called the value component of Bj, while the genus cj is called the index component.  ... 
doi:10.1007/bf02032379 fatcat:lybtoxn6b5efng7s7olo6btqpe

Accelerated Connected Component Labeling Using CUDA Framework [chapter]

Fanny Nina Paravecino, David Kaeli
2014 Lecture Notes in Computer Science  
Sep. 2014, Warsaw, Poland Performance Results • Stava, O., Benes, B., CCL in CUDA comparison analysis Conclusions • Described Accelerated Connected Component Labeling (ACCL) using the CUDA framework •  ...  : • Background noise removal • Binary Conversion Original Image Binary Image Performance Results • Experimental Environment: • CPU • Intel Core i7-3779K processor • RAM: 8GB • GPU • GK  ... 
doi:10.1007/978-3-319-11331-9_60 fatcat:ffju7fg22vbvfctcuo3gcdpoju

A Virtual Sensor for Electric Vehicles' State of Charge Estimation

Giambattista Gruosso, Giancarlo Storti Gajani, Fredy Ruiz, Juan Diego Valladolid, Diego Patino
2020 Electronics  
The estimator was derived from experimental data, employing support vector regression (SVR), principal component analysis (PCA) and a dual polarization (DP) battery model (BM).  ...  of charge estimation (SOC) in electric vehicles without the use of a battery current sensor, relying on a virtual sensor, based on other available vehicle measurements, such as speed, battery voltage and  ...  The principal component analysis (PCA) is used to reduce the dimension of input variable space [15] .  ... 
doi:10.3390/electronics9020278 fatcat:zndjeodlvnd7hbcsbrq7gvitky

Impact of upstream and downstream constraints on a signaling module's ultrasensitivity

Edgar Altszyler, Alejandra Ventura, Alejandro Colman-Lerner, Ariel Chernomoretz
2014 Physical Biology  
We use a simple setup to explore to what extent the dynamic range spanned by upstream and downstream components of an ultrasensitive module impact on the effective sensitivity of the system.  ...  However, in a living cell, such modules are embedded in a bigger network that constrains the range of inputs that the module will receive as well as the range of the module's outputs that network will  ...  Acknowledgments Work was supported by grants PICT2010-2248 from the Argentine Agency of Research and Technology (ANPCyT) and grant 1R01GM097479-01, subaward 0000713502 from NIGMS-NIH.  ... 
doi:10.1088/1478-3975/11/6/066003 pmid:25313165 pmcid:PMC4233326 fatcat:v5ahxal2znhzxejkyzdo2pispu
« Previous Showing results 1 — 15 out of 7,921 results