2233 search results - page 169 / 447 » On the Complexity of Theory Curbing |
167
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
157
click to vote
ECMDAFA
2007
Springer
16 years 19 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
250
click to vote
ILC
2007
Springer
16 years 18 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
189
click to vote
XPU
2007
Springer
16 years 17 days ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
140
click to vote
COMPGEOM
2006
ACM
16 years 13 days ago
2006
ACM
The k-means method is an old but popular clustering algorithm known for its observed speed and its simplicity. Until recently, however, no meaningful theoretical bounds were known...