2409 search results - page 303 / 482 » On Extended Regular Expressions |
144
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
170
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
171
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
142
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
178
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to uncertain inputs, is used to re...