2496 search results - page 183 / 500 » Error-detecting properties of languages |
123
click to vote
DEBU
2007
15 years 4 months ago
2007
Textual fields are commonly used in databases and applications to capture details that are difficult to formalize—comments, notes, and product descriptions. With the rise of t...
123
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
139
click to vote
PRL
2008
15 years 4 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...
142
click to vote
LOBJET
2000
15 years 4 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
128
click to vote
JANCL
2002
15 years 4 months ago
2002
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...