2702 search results - page 300 / 541 » Practically Applicable Formal Methods |
122
Voted
WADS
1995
Springer
15 years 6 months ago
1995
Springer
We consider the problem of obtaining “nice” quadrangulations of planar sets of points. For many applications “nice” means that the quadrilaterals obtained are convex if po...
140
Voted
AAAI
2007
15 years 5 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
120
Voted
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
128
Voted
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
110
Voted
EOR
2007
15 years 2 months ago
2007
act 11 We address the problem of designing a network built on several layers. This problem occurs in practical applications 12 but has not been studied extensively from the point o...