A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Components, Frameworks and GKS Input
[article]
1989
Eurographics State of the Art Reports
Preserved Fulltext
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2019
Science China Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
1986
IEEE Transactions on Reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1989
Journal of Guidance Control and Dynamics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2019
International Journal of Intelligent Engineering and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Grid Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1995
Annals of Operations Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Physical Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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