1573 search results - page 111 / 315 » Signs and Formal Concepts |
103
Voted
FLAIRS
2007
15 years 4 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
106
click to vote
SNPD
2004
15 years 3 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
158
click to vote
CODAS
1996
15 years 3 months ago
1996
Database technologies are indispensable for workflow management system, one of the remarkable groupware supporting asynchronous distributed cooperative work. In this paper, a form...
110
click to vote
FORTE
1990
15 years 3 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
119
Voted
JAIR
2006
15 years 1 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...