2372 search results - page 126 / 475 » Probabilistic calling context |
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
IWPSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Software evolution research has been focused mostly on analyzing the evolution of single software systems. However, it is rarely the case that a project exists as standalone, inde...
ENTCS
2008
13 years 10 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The management of big databases of threedimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easil...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper we show that, despite some disadvantageous properties of radio frequency identification (RFID), it is possible to localize a mobile robot quite accuratel...