1743 search results - page 252 / 349 » Generalized Modal Satisfiability |
148
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
117
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
144
click to vote
AAAI
2010
15 years 6 months ago
2010
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...
139
Voted
IPCO
2010
15 years 6 months ago
2010
In the Steiner Network problem we are given a graph with edge-costs and connectivity requirements between node pairs , . The goal is to find a minimum-cost subgraph of that contain...
139
Voted
GRAPHICSINTERFACE
2007
15 years 6 months ago
2007
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...