1805 search results - page 93 / 361 » A Theory of Closure Operators |
157
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
103
click to vote
LILOG
1989
15 years 8 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
111
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
151
click to vote
CLIN
2004
15 years 5 months ago
2004
Research on Question Answering is focused mainly on classifying the question type and finding the answer. Presenting the answer in a way that suits the user's needs has recei...
116
click to vote
ECIS
2000
15 years 5 months ago
2000
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...