3179 search results - page 43 / 636 » Applications of PCF Theory |
114
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
ICSE
2003
IEEE-ACM
16 years 16 days ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
79
Voted
ACL
1998
15 years 1 months ago
1998
In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...
89
Voted
IPL
2006
15 years 13 days ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
122
click to vote
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...