421 search results - page 61 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
109
Voted
FM
1991
Springer
15 years 2 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
EUROPLOP
2006
15 years 14 days ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
104
click to vote
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
126
click to vote
TKDE
2012
13 years 1 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...