18429 search results - page 3352 / 3686 » Typing dynamic typing |
181
click to vote
MKM
2004
Springer
16 years 4 days ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
222
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
170
click to vote
PACS
2004
Springer
16 years 4 days ago
2004
Springer
In recent years, processor manufacturers have converged on two types of register file architectures. Both IBM with its POWER series and Intel with its Pentium series are using a ...
220
click to vote
PKDD
2004
Springer
16 years 4 days ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
179
click to vote
PRICAI
2004
Springer
16 years 3 days ago
2004
Springer
When we have a large amount of information, we usually use categories with a hierarchy, in which all information is assigned. This paper proposes a new method of integrating two ca...