10568 search results - page 380 / 2114 » Computer Intelligence and Formalization |
121
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Coalitions and cooperation are key topics in multi
163
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Ontology summarization is very important to quick understanding and selection of ontologies. In this paper, we study extractive summarization of ontology. We propose a notion of R...
159
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
142
click to vote
ACSC
2000
IEEE
15 years 8 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...