4341 search results - page 35 / 869 » Quantitative Model checking |
121
Voted
GIS
2010
ACM
15 years 22 days ago
2010
ACM
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
162
Voted
GECCO
2009
Springer
14 years 12 months ago
2009
Springer
We provide an overview of using genetic programming (GP) to model stock returns. Our models employ GP terminals (model decision variables) that are financial factors identified by...
181
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
141
Voted
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
129
Voted
GRAMMARS
1998
15 years 1 months ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...