1223 search results - page 115 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
157
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
In order to handle classification problems with real-valued attributes using discretization algorithms it is necessary to obtain a good and reduced set of cut points in order to l...
155
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
161
click to vote
ENTCS
2002
15 years 6 months ago
2002
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
160
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
164
click to vote
SSR
2001
15 years 7 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...