643 search results - page 63 / 129 » Semantic Determinism and Functional Logic Program Properties |
119
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
162
click to vote
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
120
click to vote
JANCL
2002
15 years 3 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...
138
click to vote
AAAI
2010
15 years 5 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...
121
click to vote
TEC
2002
15 years 3 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...