1650 search results - page 169 / 330 » The HOM problem is decidable |
138
click to vote
STOC
1992
ACM
15 years 8 months ago
1992
ACM
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
134
click to vote
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In the research area of historical documents it is of high interest to reconstruct the process of the emergence of a historical typesetted document. Therefore, the chrono...
133
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
139
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies bilateral, multi-issue negotiation between self-interested agents with deadlines. There are a number of procedures for negotiating the issues and each of these g...
129
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...