8337 search results - page 160 / 1668 » Reasoning With Characteristic Models |
149
click to vote
FAC
2000
15 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
267
click to vote
AI
2011
Springer
14 years 12 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
117
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
We address the problem of signal compression, basing on the mathematical model, in which a set of all possible signals is considered as a function space with a metric . The main a...
136
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper investigates the role of genotypic search space dimensionality on the behaviour and characteristics of a computational model of embryogeny. By varying genome length,...
156
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...