搜索结果: 1-9 共查到“工学 Symbolic”相关记录9条 . 查询时间(0.015 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
Automatically Generating Malicious Disks using Symbolic Execution
Automatically Generating Malicious Disks Symbolic Execution
2015/8/7
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before usin...
SYMBOLIC MODELSFOR POSTURES RECOGNITION OF A THREE FINGERED ARTIFICIAL HAND
Image Understanding Model-based processing
2015/1/6
Hand posture and gesture recognition integrates sensorial fusion, supervised model-based learning and motion planning. Data acquisition of changing postures in known environments requires the developm...
REFLECTANCE ESTIMATION FROM URBAN TERRESTRIAL IMAGES: VALIDATION OF A SYMBOLIC RAY-TRACING METHOD ON SYNTHETIC DATA
Radiometry reflectance BRDF ray-tracing terrestrial images
2014/5/8
Terrestrial geolocalized images are nowadays widely used on the Internet, mainly in urban areas, through immersion services such as Google Street View. On the long run, we seek to enhance the visualiz...
Feasibility Study of Parameter Identification Method Based on Symbolic Time Series Analysis and Adaptive Immune Clonal Selection Algorithm
Structural Health Monitoring Clonal Selection Algorithm Symbolic Time Series Analysis Adaptive Immune Building Structures
2013/1/31
The feasibility of a parameter identification method based on symbolic time series analysis (STSA) and the adaptive immune clonal selection algorithm (AICSA) is studied. Data symbolization by using ST...
Symbolic Meaning Integration in Design and its Influence on Product and Brand Evaluation
Congruence Processing Fluency Impression Formation Symbolic Meaning
2009/9/11
Previous research and theorizing in product design and consumer psychology testifies to the importance of congruence among symbolic meanings connoted through elements in visual communications such as ...
Extraction and Recognition of Nonlinear Interval-Type Features Using Symbolic KDA Algorithm with Application to Face Recognition
Nonlinear Interval-Type Features Symbolic KDA Algorithm Face Recognition
2009/9/4
We present symbolic kernel discriminant analysis (symbolic KDA) for face recognition in the framework of symbolic data analysis. Classical KDA extracts features, which are single-valued in nature to r...
Secure Digital Communication using Chaotic Symbolic Dynamics
Secure Digital Communication Chaotic Symbolic Dynamics
2009/7/28
One of the major hurdles in implementing chaotic communication schemes is the synchronization of chaotic systems. For the last two decades, numerous contributions of varying successes have been made b...