3147 search results - page 391 / 630 » Open-Source Model Checking |
123
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
120
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
117
Voted
ACL
2007
15 years 4 months ago
2007
A Bloom filter (BF) is a randomised data structure for set membership queries. Its space requirements are significantly below lossless information-theoretic lower bounds but it ...
136
Voted
CJ
2004
15 years 2 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
122
Voted
INFORMATICALT
2008
15 years 2 months ago
2008
Classification and regression tree approach was used in this research to model phone duration of Lithuanian. 300 thousand samples of vowels and 400 thousand samples of consonants e...