16616 search results - page 365 / 3324 » Extending Extended Vacuity |
190
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
182
click to vote
COLT
1993
Springer
15 years 11 months ago
1993
Springer
We describe three applications in computational learning theory of techniques and ideas recently introduced in the study of parameterized computational complexity. (1) Using param...
193
click to vote
USITS
1997
15 years 8 months ago
1997
Emerging applications in electronic commerce often involve very low-cost transactions, which execute in the context of ongoing, extended clientserver relationships. For example, c...
151
click to vote
MCSS
2007
Springer
15 years 6 months ago
2007
Springer
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
203
click to vote
IWRT
2010
15 years 4 months ago
2010
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...