14235 search results - page 2798 / 2847 » Is computer science science |
146
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
139
Voted
KDD
2000
ACM
15 years 7 months ago
2000
ACM
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
113
Voted
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
Managing a connection between two hosts in a network is an important service to provide in order to make the network useful for many applications. The two main subproblems are the...
140
Voted
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
132
click to vote
HT
2009
ACM
15 years 6 months ago
2009
ACM
We introduce four measures for the change of coalitions in social networks. The first one measures the change of the agents in the network over time, The second one measures the ...