3653 search results - page 195 / 731 » On Recognizable Timed Languages |
158
click to vote
ICALP
1992
Springer
15 years 9 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
149
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
150
click to vote
PRL
2008
15 years 5 months ago
2008
In this paper, we propose spam e-mail filtering methods having high accuracies and low time complexities. The methods are based on the n-gram approach and a heuristics which is re...
123
click to vote
ACL
2010
15 years 3 months ago
2010
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
150
click to vote
CGI
2000
IEEE
15 years 9 months ago
2000
IEEE
A new Extensible Markup Language (XML) application, Molecular Dynamics Language (MoDL) has been developed. MoDL provides a simple, but powerful tool for molecular dynamics visuali...