3564 search results - page 299 / 713 » Evaluating a Formal Modelling Language |
193
click to vote
IANDC
2010
15 years 4 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
166
Voted
AAAI
2008
15 years 9 months ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
174
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
165
click to vote
CICLING
2007
Springer
16 years 25 days ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
188
click to vote
CDB
2004
Springer
16 years 2 days ago
2004
Springer
Moving objects are currently represented in databases by means of an explicit representation of their trajectory. However from a physical point of view, or more specifically accor...