759 search results - page 101 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
102
Voted
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
99
Voted
MATES
2007
Springer
15 years 6 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
75
Voted
TOG
2002
15 years 5 days ago
2002
This paper describes a new method for contouring a signed grid whose edges are tagged by Hermite data (i.e; exact intersection points and normals). This method avoids the need to ...
79
Voted
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose and evaluate a method to identify tornadoes automatically in Doppler radar imagery by detecting hook echoes, which are important signatures of tornadoes, in Doppler rad...
95
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Hosts infected with malicious software, so called malware, are ubiquitous in today’s computer networks. The means whereby malware can infiltrate a network are manifold and rang...