307 search results - page 27 / 62 » On Hierarchical Reasoning in Combinations of Theories |
110
Voted
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
106
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
144
Voted
CIKM
2010
Springer
15 years 13 days ago
2010
Springer
Community detection is an important task for mining the structure and function of complex networks. Generally, there are several different kinds of nodes in a network which are c...
128
Voted
JANCL
2007
15 years 1 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
113
Voted
ACSW
2004
15 years 3 months ago
2004
In data clustering, many approaches have been proposed such as K-means method and hierarchical method. One of the problems is that the results depend heavily on initial values and...