8828 search results - page 1164 / 1766 » Formal methods in practice |
182
click to vote
SAT
2004
Springer
16 years 23 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
176
click to vote
ECCV
2010
Springer
16 years 23 days ago
2010
Springer
The level set representation of shapes is useful for shape evolution and is widely used for the minimization of energies with respect to shapes. Many algorithms consider energies d...
178
click to vote
XPU
2004
Springer
16 years 23 days ago
2004
Springer
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
189
click to vote
ACSC
2003
IEEE
16 years 22 days ago
2003
IEEE
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
215
click to vote
CCGRID
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper addresses the query performance issue for Relational OLAP (ROLAP) datacubes. We present a distributed multi-dimensional ROLAP indexing scheme which is practical to imple...