Sciweavers

4307 search results - page 180 / 862
» Dynamic Spyware Analysis
Sort
View
AB
2007
Springer
14 years 4 months ago
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
Heike Siebert, Alexander Bockmayr
CEC
2005
IEEE
14 years 4 months ago
Theoretical comparisons of search dynamics of genetic algorithms and evolution strategies
Genetic algorithms (GAs) and evolution strategies (ESs) are two widely used evolutionary algorithms. The main differences between GAs and ESs lie in their representations and varia...
Tatsuya Okabe, Yaochu Jin, Bernhard Sendhoff
GEOS
2005
Springer
14 years 3 months ago
Processes and Events in Dynamic Geo-Networks
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
Antony Galton, Michael F. Worboys
SCAM
2002
IEEE
14 years 3 months ago
Dynamic Slicing Object-Oriented Programs for Debugging
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
Baowen Xu, Zhenqiang Chen, Hongji Yang
EKAW
1999
Springer
14 years 2 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen