6608 search results - page 1181 / 1322 » On the Completeness of Model Checking |
140
click to vote
CIBB
2008
15 years 6 months ago
2008
A system for utilizing an artificial neural network to predict splice sites in genes has been studied. The neural network uses a sliding window of nucleotides over a gene and predi...
155
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...
160
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
143
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
138
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...