7988 search results - page 231 / 1598 » A Useful Undecidable Theory |
93
Voted
IJRFITA
2007
15 years 18 days ago
2007
: In this paper, we collect and extend the theory of Radio Frequency (RF) propagation within rectangular metal pipes. This work is motivated by the need to understand the operation...
125
click to vote
ENTCS
2006
15 years 21 days ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
112
click to vote
KR
1992
Springer
15 years 4 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
88
Voted
WSC
2000
15 years 2 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
102
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...