Sciweavers

5775 search results - page 296 / 1155
» A Rationale-based Analysis Tool
Sort
View
AUTOMATICA
2008
94views more  AUTOMATICA 2008»
15 years 6 months ago
Reachability analysis of continuous-time piecewise affine systems
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...
Abdullah Hamadeh, Jorge Goncalves
161
Voted
ISI
2006
Springer
15 years 6 months ago
Strategic Intelligence Analysis: From Information Processing to Meaning-Making
Strategic intelligence involves the efforts to understand the "Big Picture" emerging from data sources. Concerning textual data, this process involves the extraction of m...
Yair Neuman, Liran Elihay, Meni Adler, Yoav Goldbe...
163
Voted
JBI
2006
107views Bioinformatics» more  JBI 2006»
15 years 6 months ago
KDE Bioscience: Platform for bioinformatics analysis workflows
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
Qiang Lu, Pei Hao, Vasa Curcin, Wei-Zhong He, Yuan...
SP
2007
IEEE
135views Security Privacy» more  SP 2007»
16 years 1 months ago
Exploring Multiple Execution Paths for Malware Analysis
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
Andreas Moser, Christopher Krügel, Engin Kird...
ASPDAC
2008
ACM
127views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Power grid analysis benchmarks
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
Sani R. Nassif