1397 search results - page 117 / 280 » On the Need for Practical Formal Methods |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
AIME
2007
Springer
14 years 4 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
14 years 10 months ago
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...