913 search results - page 97 / 183 » Toward Formalizing Structured Analysis |
123
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
138
click to vote
PPSN
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
137
click to vote
ODR
2008
15 years 3 months ago
2008
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
128
click to vote
FOIKS
2010
Springer
15 years 14 days ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
137
click to vote
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
White matter fiber bundles of the human brain form a spatial pattern defined by the anatomical and functional architecture. Human brain atlases provide names for individual tracts...