10997 search results - page 1807 / 2200 » On the Structure of Complete Sets |
217
click to vote
QUACON
2009
Springer
16 years 1 months ago
2009
Springer
Much research on context quality in context-aware systems divides into two strands: (1) the qualitative identi cation of quality measures and (2) the use of uncertain reasoning tec...
224
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
163
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
158
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes an interface for assisting the design and production of pop-up cards by using a computer. A pop-up card is a piece of a folded paper from which a three-dimensi...
167
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
Widgets are small and focused multimedia applications that can be found on desktop computers, mobile devices or even TV sets. Widgets rely on structured documents to describe thei...