1520 search results - page 174 / 304 » Class Hierarchy Specialization |
174
Voted
SARA
2005
Springer
16 years 13 days ago
2005
Springer
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
163
Voted
TABLEAUX
2005
Springer
16 years 13 days ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
226
Voted
WINE
2005
Springer
16 years 13 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
187
Voted
SAC
2004
ACM
16 years 12 days ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
172
Voted
ADVIS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...