585 search results - page 80 / 117 » Structured Formal Development in Isabelle |
108
click to vote
AAI
2000
14 years 11 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
CORR
2000
Springer
14 years 11 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
110
click to vote
BIS
2010
14 years 6 months ago
2010
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
127
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...
113
click to vote
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...