210 search results - page 21 / 42 » Classical descriptive set theory as a refinement of effectiv... |
ECIS
2003
13 years 9 months ago
2003
This research is located in the topic area of culture and information systems. It is set in the finance industry against the backdrop of globalisation. The particular focus is on ...
AGILE
2008
Springer
14 years 2 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
AGP
1999
IEEE
13 years 12 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
KR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...