4814 search results - page 101 / 963 » Combining abstract interpreters |
140
click to vote
MCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A large experiment on combining classifiers is reported and discussed. It includes, both, the combination of different classifiers on the same feature set and the combina...
161
Voted
COMMA
2006
15 years 7 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
140
click to vote
CSMR
2003
IEEE
15 years 10 months ago
2003
IEEE
As the age of software systems increases they tend to deviate from their actual design and architecture. It becomes more and more difficult to manage and maintain such systems. We...
122
click to vote
ICCD
2004
IEEE
16 years 2 months ago
2004
IEEE
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
172
click to vote
ZUM
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...