1743 search results - page 153 / 349 » Generalized Modal Satisfiability |
165
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
118
Voted
STOC
2007
ACM
16 years 3 months ago
2007
ACM
Compressed Sensing is a new paradigm for acquiring the compressible signals that arise in many applications. These signals can be approximated using an amount of information much ...
166
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
120
Voted
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
134
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...