2741 search results - page 137 / 549 » Engineering Mathematical Knowledge |
139
Voted
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
154
click to vote
WER
2010
Springer
15 years 11 days ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
125
Voted
ICDM
2008
IEEE
15 years 9 months ago
2008
IEEE
INGENS is a prototype of GIS which integrates a geographic knowledge discovery engine to mine several kinds of spatial KDD objects from the topographic maps stored in a spatial da...
131
click to vote
ITS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
116
click to vote
COLING
1990
15 years 3 months ago
1990
The central concern of terminology, a component of the general documentation process, is concept analysis, an activity which is becoming recognized as fundamental as term banks evo...