450 search results - page 56 / 90 » An enriched knowledge model for formal ontological analysis |
112
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The explosive increase of image data on Internet has made it an important, yet very challenging task to index and automatically annotate image data. To achieve that end, sophistic...
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...
130
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...