1914 search results - page 290 / 383 » Semantic domains for Handel-C |
107
click to vote
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
106
click to vote
MA
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...
WLP
2000
Springer
15 years 2 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
FLAIRS
2008
15 years 1 months ago
2008
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...