3317 search results - page 1 / 664 » Strategies in Rigid-Variable Methods |
IJCAI
1997
13 years 6 months ago
1997
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies...
REFSQ
2009
Springer
13 years 11 months ago
2009
Springer
[Context and motivation] In market-driven product development of software intensive products large numbers of requirements threaten to overload the development organization. It is ...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— Due to the abundant application background, the optimization of maintenance problem has been extensively studied in the past decades. Besides the well-known difficulty of larg...
ADMI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this work, we describe the process used in order to predict the bidding strategy of trading agents. This was done in the context of the Reverse TAC, or CAT, game of th...