2573 search results - page 115 / 515 » Combinations of Modal Logics |
237
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
121
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
155
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose to segment volumetric brain structures with a level set method including a fuzzy decision in the design of the evolution force. The role of fuzzy logic is to fuse gradi...
153
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
Traditional synthesis techniques optimize CMOS circuits in two phases i) logic minimization and ii) library mapping phase. Typically, the structures and the sizes of the gates in ...
157
click to vote
ICFCA
2007
Springer
15 years 8 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...