3775 search results - page 188 / 755 » The Expression Problem Revisited |
109
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
123
Voted
BIRTHDAY
1991
Springer
15 years 7 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
139
click to vote
AAAI
2007
15 years 6 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
183
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Linear matrix Inequalities (LMIs) have had a major impact on control but formulating a problem as an LMI is an art. Recently there is the beginnings of a theory of which problems ...
97
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...