626 search results - page 60 / 126 » When Can Formal Methods Make a Real Difference |
121
Voted
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
Materialized views and view maintenance are becoming increasingly important in practice. In order to satisfy different data currency and performance requirements, a number of view...
139
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this article, we discuss 3D shape reconstruction of an object in a rigid motion with the volume intersection method. When the object moves rigidly, the cameras change their rel...
142
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Relational Markov models (RMMs) are a generalization of Markov models where states can be of different types, with each type described by a different set of variables. The domain ...
109
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
150
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...