Sciweavers

11017 search results - page 117 / 2204
» Closure Systems and their Structure
Sort
View
ICFP
2006
ACM
14 years 8 months ago
Algebraic fusion of functions with an accumulating parameter and its improvement
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
Shin-ya Katsumata, Susumu Nishimura
ICIP
2005
IEEE
14 years 9 months ago
Analyzing symmetry in biological systems
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...
David Milner, Hagit Hel-Or, Daniel Keren, Shmuel R...
STACS
2007
Springer
14 years 2 months ago
Reachability in Unions of Commutative Rewriting Systems Is Decidable
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...
Mikolaj Bojanczyk, Piotr Hoffman
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
14 years 9 months ago
Semantic Data Management: Towards Querying Data with their Meaning
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
Lipyeow Lim, Haixun Wang, Min Wang
WWW
2003
ACM
14 years 8 months ago
On labeling schemes for the semantic web
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
Vassilis Christophides, Dimitris Plexousakis, Mich...