10819 search results - page 1894 / 2164 » Addition and multiplication of sets |
123
Voted
CAV
2000
Springer
15 years 4 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...
109
Voted
CRYPTO
1987
Springer
15 years 4 months ago
1987
Springer
Many distributed systems manage some form of long-lived data, such as files or data bases. The performance and fault-tolerance of such systems may be enhanced if the repositories ...
88
Voted
SIGGRAPH
1987
ACM
15 years 4 months ago
1987
ACM
In the course of developing a system for fitting smooth curves to camera input we have developed several direct (i.e. noniterative) methods for fitting a shape (line, circle, conic...
98
Voted
AIIDE
2008
15 years 3 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
141
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a novel exploratory visual analytic system called TIARA (Text Insight via Automated Responsive Analytics), which combines text analytics and interactive ...