378 search results - page 40 / 76 » Formalizing Spider Diagrams |
165
click to vote
FOIS
2001
15 years 7 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
121
Voted
IFM
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
155
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
165
click to vote
CLA
2006
15 years 7 months ago
2006
We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy ...
149
click to vote
IJCAI
1997
15 years 7 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...