1977 search results - page 78 / 396 » The satisfactory partition problem |
146
click to vote
DSOM
2005
Springer
15 years 11 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
171
click to vote
EVOW
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an investigation into the classification of a difficult data set containing large intra-class variability but low inter-class variability. Standard classifiers...
166
click to vote
CAISE
1995
Springer
15 years 9 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
141
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
155
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
The widespread use of artificial neural networks and the difficult work regarding the correct specification (tuning) of parameters for a given problem are the main aspects that mot...