585 search results - page 51 / 117 » Structured Formal Development in Isabelle |
BMCBI
2008
14 years 12 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
A new theoretical development is presented for handling the over-segmentation problem in partitioning-based connected openings. The definition we propose treats singletons generat...
100
click to vote
ECAI
2010
Springer
15 years 27 days ago
2010
Springer
Extended Argumentation Frameworks (EAFs) are a proposed formalism that develop abstract argumentation frameworks (AFs) by allowing attacks between arguments to be attacked themselv...
116
click to vote
CLA
2007
15 years 1 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
121
click to vote
TACS
2001
Springer
15 years 4 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...