16091 search results - page 3001 / 3219 » Solving |
142
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
165
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
126
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Action rules introduced in [12] and extended further to e-action rules [21] have been investigated in [22], [13], [20]. They assume that attributes in a database are divided into t...
153
Voted
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Consistent query answering is the term commonly used for the problem of answering queries on databases that violate certain integrity constraints. We address this problem for univ...
144
Voted
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...