10435 search results - page 271 / 2087 » Measuring system normality |
ADC
2005
Springer
14 years 3 months ago
2005
Springer
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
ICCTA
2007
IEEE
14 years 1 months ago
2007
IEEE
A circular paper chromatogram is obtained from an alkaline solution of silver nitrate and soil. The shape, size, color and textural patterns of the chromatogram image are hypothes...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
IMECS
2007
13 years 11 months ago
2007
—The research community and the IT industry have invested significant effort in fighting spam emails. There are many different approaches, ranging from white listing, black listi...