488 search results - page 19 / 98 » The descriptive complexity approach to LOGCFL |
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
BIOCOMP
2006
14 years 11 months ago
2006
The history of molecular biology is punctuated by a series of discoveries demonstrating the surprising breadth of biological roles of ribonucleic acid (RNA). An ensemble of evoluti...
DLOG
2006
14 years 11 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
Recent developments in E-Learning systems aim at providing a better support for didactics-aware learning scenarios. Typically, in order to provide that support the number and comp...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...