2381 search results - page 152 / 477 » On Ordering Descriptions in a Description Logic |
104
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Generating vehicle trajectories from video data is an important application of ITS (Intelligent Transportation Systems). We introduce a new tracking approach which uses model-base...
122
click to vote
DLOG
2003
15 years 3 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
135
click to vote
IFM
2010
Springer
15 years 11 days ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
102
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...