2694 search results - page 361 / 539 » A Description Logic of Change |
179
click to vote
CIKM
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...
182
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
155
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper addresses the problem of numerically finding an optimal path for a robot with non-holonomic constraints. A car like robot, whose turning radius is lower bounded is cons...
212
click to vote
TOOLS
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
197
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...