3844 search results - page 81 / 769 » Modular interpreted systems |
134
click to vote
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
91
Voted
HAPTICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe a tactile transducer system that has a compact, yet modular design. The tactile transducer comprises a 6×10 piezo bi
140
Voted
ACSW
2004
15 years 3 months ago
2004
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
119
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
131
Voted
RULEML
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...