Sciweavers

11455 search results - page 344 / 2291
» The Rayset and Its Applications
Sort
View
LPNMR
2009
Springer
15 years 11 months ago
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
Esra Erdem
BIRTHDAY
2008
Springer
15 years 8 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
PIMRC
2008
IEEE
16 years 1 months ago
Algorithmic aspects of radio flexibility
—This review article explores the notion of radio flexibility, its various versions (as presented in a brief taxonomy) and its efficient instantiations under various metrics, pri...
Andreas Polydoros
KIVS
2005
Springer
16 years 7 days ago
Reconfigurable consumer direct logistics systems
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
Sébastien Truchat, Alexander Pflaum
OTM
2005
Springer
16 years 7 days ago
Architecting Ontology for Scalability and Versatility
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
Gang Zhao, Robert Meersman