Sciweavers

6597 search results - page 88 / 1320
» Orderings and Types in Databases
Sort
View
CSL
2006
Springer
14 years 23 days ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
Alexander Moshe Rabinovich, Wolfgang Thomas
MOC
1998
140views more  MOC 1998»
13 years 8 months ago
On a high order numerical method for functions with singularities
By splitting a given singular function into a relatively smooth part and a specially structured singular part, it is shown how the traditional Fourier method can be modified to gi...
Knut S. Eckhoff
CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 9 months ago
Multimodal Meaning Representation for Generic Dialogue Systems Architectures
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
Frédéric Landragin, Alexandre Denis,...
CORR
2002
Springer
87views Education» more  CORR 2002»
13 years 9 months ago
Rerendering Semantic Ontologies: Automatic Extensions to UMLS through Corpus Analytics
In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the ...
James Pustejovsky, Anna Rumshisky, José M. ...
ER
2003
Springer
112views Database» more  ER 2003»
14 years 2 months ago
Entity Types Derived by Symbol-Generating Rules
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
Jordi Cabot, Antoni Olivé, Ernest Teniente