4413 search results - page 111 / 883 » New Directions for CACM |
150
click to vote
KI
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
126
click to vote
INFORMATICALT
2008
15 years 5 months ago
2008
Abstract. Multi-criteria decision making is used in many areas of human activities. Each alternative in multi-criteria decision making problem can be described by a set of criteria...
127
click to vote
ECSCW
2003
15 years 7 months ago
2003
‘Knowledge sharing’ and ‘learning’ are terms often connected with the ‘New office’, the “modern” open office space. Work in these settings becomes more and more dis...
173
click to vote
VMV
2007
15 years 6 months ago
2007
Whenever approximate 3D geometry is projectively texture-mapped from different directions simultaneously, annoyingly visible aliasing artifacts are the result. To prevent such gho...
169
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...