1418 search results - page 205 / 284 » The Dynamic Complexity of Formal Languages |
204
click to vote
DLS
2009
15 years 2 months ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...
166
click to vote
PVLDB
2010
15 years 3 months ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
148
click to vote
RWEB
2009
Springer
15 years 11 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
159
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
124
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...