3255 search results - page 434 / 651 » Combination of Abstractions in the ASTR |
169
click to vote
NETWORKING
2004
15 years 8 months ago
2004
Abstract. Relaying can improve performance of a wireless network, especially when different transmission modes with distance/cost tradeoffs are available. Examples of such modes in...
170
click to vote
IJCAI
2003
15 years 8 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
145
click to vote
ISICT
2003
15 years 8 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
178
click to vote
AIML
1998
15 years 8 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
183
click to vote
JFPLC
1998
15 years 8 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...