Sciweavers

16666 search results - page 124 / 3334
» Descriptive and Computational Complexity
Sort
View
ICSE
2001
IEEE-ACM
15 years 8 months ago
Effective Software Architecture Design: From Global Analysis to UML Descriptions
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
Robert L. Nord, Daniel J. Paulish, Dilip Soni, Chr...
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 8 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
IPMU
2010
Springer
15 years 2 months ago
Attribute Value Selection Considering the Minimum Description Length Approach and Feature Granularity
Abstract. In this paper we introduce a new approach to automatic attribute and granularity selection for building optimum regression trees. The method is based on the minimum descr...
Kemal Ince, Frank Klawonn
154
Voted
KRMED
2008
15 years 5 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn
AMAI
2000
Springer
15 years 3 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi