549 search results - page 56 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
126
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
139
click to vote
GEOINFORMATICA
2002
15 years 3 months ago
2002
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
101
click to vote
CLA
2007
15 years 5 months ago
2007
In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between the assembled components is crucial. ...
143
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
124
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...