6020 search results - page 369 / 1204 » A New Approach to Model Counting |
158
click to vote
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
242
click to vote
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
184
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
192
click to vote
DATESO
2007
15 years 8 months ago
2007
In this paper we briefly describe a new conceptual model for XML data called XSEM and how to use it for modeling XML interfaces of services in service oriented architecture (SOA)....
199
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...