Sciweavers

Share
SOFSEM
2007
Springer
10 years 6 months ago
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications
The increasing number of Semantic Web applications that work with ontologies implies an increased need for building ontological knowledge bases. In order to improve ontologies duri...
Peter Bartalos, Michal Barla, György Frivolt,...
SOFSEM
2007
Springer
10 years 6 months ago
Competitive Contract Net Protocol
Jirí Vokrínek, Jirí Bí...
SOFSEM
2007
Springer
10 years 6 months ago
Incremental Learning of Planning Operators in Stochastic Domains
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
Javad Safaei, Gholamreza Ghassem-Sani
SOFSEM
2007
Springer
10 years 6 months ago
On Efficient Resource Allocation in Communication Networks
Michal Karpowicz, Krzysztof Malinowski
SOFSEM
2007
Springer
10 years 6 months ago
Constraints for Argument Filterings
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
Harald Zankl, Nao Hirokawa, Aart Middeldorp
SOFSEM
2007
Springer
10 years 6 months ago
Restarting Tree Automata
Heiko Stamer, Friedrich Otto
SOFSEM
2007
Springer
10 years 6 months ago
Deterministic Simulation of a NFA with k -Symbol Lookahead
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
Bala Ravikumar, Nicolae Santean
SOFSEM
2007
Springer
10 years 6 months ago
Indexing Factors with Gaps
Indexing of factors is a widely used and useful technique in stringology and can be seen as a tool in solving diverse text algorithmic problems. A gapped-factor is a concatenation ...
M. Sohel Rahman, Costas S. Iliopoulos
SOFSEM
2007
Springer
10 years 6 months ago
Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces
Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, ca...
Oscar Pedreira, Nieves R. Brisaboa
books