Results 251 to 260 of about 939,191 (299)
Some of the next articles are maybe not open access.
1989
The aim of this paper is to introduce the symbolic approach in data analysis and to show that it extends data analysis to more complex data which may be closer to the multidimensional reality. We introduce several kinds of symbolic objects (”events”, ”assertions”, and also ”hordes” and ”synthesis” objects) which are defined by a logical conjunction of ...
E. Diday, M. Paula Brito
openaire +1 more source
The aim of this paper is to introduce the symbolic approach in data analysis and to show that it extends data analysis to more complex data which may be closer to the multidimensional reality. We introduce several kinds of symbolic objects (”events”, ”assertions”, and also ”hordes” and ”synthesis” objects) which are defined by a logical conjunction of ...
E. Diday, M. Paula Brito
openaire +1 more source
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002., 2002
One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The pointer analysis problem has been investigated in the compiler community for two decades, which has yielded efficient, polynomial time algorithms for context-insensitive analysis.
openaire +1 more source
One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The pointer analysis problem has been investigated in the compiler community for two decades, which has yielded efficient, polynomial time algorithms for context-insensitive analysis.
openaire +1 more source
Symbolic-numeric circuit analysis or symbolic circuit analysis with online approximations
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 1999This paper describes a method for obtaining simplified symbolic expressions for the transfer functions of analog electronic circuits and, in particular, analog transistor circuits. The circuits are modeled as linear lumped RLC electrical networks with dependent sources.
J. Katzenelson, A. Unikovski
openaire +1 more source
1997
This chapter presents a new approach based on the use of describing functions to obtain approximate symbolic expressions for the fundamental frequency component as well as for the second- and third-order harmonics. A single soft or hard transconductance nonlinearity embedded in an arbitrary linear network is studied. Three examples are considered.
openaire +1 more source
This chapter presents a new approach based on the use of describing functions to obtain approximate symbolic expressions for the fundamental frequency component as well as for the second- and third-order harmonics. A single soft or hard transconductance nonlinearity embedded in an arbitrary linear network is studied. Three examples are considered.
openaire +1 more source
2000
In the present chapter we propose an extension of the standard principal component analysis method which takes as input a symbolic data matrix \(\underline X = ({\xi _{ij}})\) of interval type (Chouakria 1994, 1995, Cazes 1997; see section 3.2). Each ‘value’ \({\xi _{ij}}\) is an interval containing all the possible values of the feature Y j for an ...
Hans-Hermann Bock +3 more
openaire +1 more source
In the present chapter we propose an extension of the standard principal component analysis method which takes as input a symbolic data matrix \(\underline X = ({\xi _{ij}})\) of interval type (Chouakria 1994, 1995, Cazes 1997; see section 3.2). Each ‘value’ \({\xi _{ij}}\) is an interval containing all the possible values of the feature Y j for an ...
Hans-Hermann Bock +3 more
openaire +1 more source
Automated Symbolic Analysis of ARBAC-Policies
2011One of the most widespread framework for the management of access-control policies is Administrative Role Based Access Control (ARBAC). Several automated analysis techniques have been proposed to help maintaining desirable security properties of ARBAC policies. One limitation of many available techniques is that the sets of users and roles are bounded.
ARMANDO, ALESSANDRO, S. RANISE
openaire +3 more sources
Symbolic Vector and Dyadic Analysis
SIAM Journal on Computing, 1979A computer program is described which performs symbolic algebra and calculus with vectors and dyadics. Implemented on the MACSYMA algebraic manipulation system, it is intended to be a reasonably complete analysis system for applications such as plasma physics and fluid dynamics. It includes manipulations of dot and cross products; gradient, divergence,
openaire +1 more source
Symbolic Analysis of Differential Equations
1999The purpose of this chapter is to give an idea of the methods for solving linear differential equations with ‘computer algebra’. Sections 2, 3, and 4 are elementary and use almost no differential algebra.
openaire +2 more sources
R Symbolic Data Analysis for Symbolic Artificial Intelligence
Journal of Korean Institute of Intelligent Systems, 2017컴퓨터와 인간은 분명 다르지만 기본적으로 데이터를 저장하고 처리하는 개념적 측면에서는 서로 유사한 구조를 갖는다. 하지만 수집된 전체 데이터를 처리하고 분석하는 컴퓨터와는 달리 인간은 요약된 패턴 단위로 데이터를 처리한다. 즉 인간은 전체 데이터를 다루기보다는 요약된 정보를 통해 최적의 의사결정을 한다. 전체 데이터보다 요약된 정보만을 관리하면 시간과 비용 면에서 더 효율적인 시스템을 구축할 수 있다. 특히 빅데이터 환경에서 인공지능의 학습을 위한 대용량 데이터의 처리 및 분석을 위하여 요약된 정보에 기반 한 데이터학습에 대한 필요성이 제기되고 있다.
openaire +1 more source
Symbolic Polygonal Data Analysis Symbolic Data Analysis
2018Silva, Wagner +2 more
openaire +1 more source