607 search results - page 22 / 122 » Unifying Exact Completions |
FUIN
2007
14 years 10 months ago
2007
Abstract. The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional dependencies in databases. Their s...
86
Voted
DFG
2004
Springer
15 years 4 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
103
click to vote
3DPVT
2004
IEEE
15 years 2 months ago
2004
IEEE
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
101
click to vote
ICDAR
2009
IEEE
14 years 8 months ago
2009
IEEE
A novel method for the segmentation of double-sided ancient document images suffering from bleed-through effect is presented. It takes advantage of the level set framework to prov...
STACS
2009
Springer
15 years 5 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...