Sciweavers

3634 search results - page 443 / 727
» The Field Representation Language
Sort
View
CC
2004
Springer
122views System Software» more  CC 2004»
15 years 12 months ago
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Erin Parker, Siddhartha Chatterjee
ESWS
2004
Springer
15 years 12 months ago
Methods for Porting Resources to the Semantic Web
Ontologies will play a central role in the development of the Semantic Web. It is unrealistic to assume that such ontologies will be developed from scratch. Rather, we assume that ...
Bob J. Wielinga, Jan Wielemaker, Guus Schreiber, M...
MICAI
2004
Springer
15 years 12 months ago
Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...
SEKE
2004
Springer
15 years 12 months ago
Application Semiotics Engineering Process
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
Gang Zhao
XSYM
2004
Springer
89views Database» more  XSYM 2004»
15 years 12 months ago
A Runtime System for XML Transformations in Java
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
Aske Simon Christensen, Christian Kirkegaard, Ande...