2162 search results - page 238 / 433 » Automated Reasoning on Feature Models |
116
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
140
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
159
click to vote
OWLED
2008
15 years 6 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
195
Voted
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
157
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
3D Morphable Models, as a means to generate images of a class of objects and to analyze them, have become increasingly popular. The problematic part of this framework is the regis...