1829 search results - page 84 / 366 » aims 2008 |
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
121
click to vote
EOR
2008
15 years 4 months ago
2008
Parent-centric real-parameter crossover operators create the offspring in the neighbourhood of one of the parents, the female parent. The other parent, the male one, defines the r...
119
click to vote
ESWA
2008
15 years 4 months ago
2008
Abstract Large temporal Databases (TDBs) usually contain a wealth of data about temporal events. Aimed at discovering temporal patterns with during relationship (during-temporal pa...
121
click to vote
EXPERT
2008
15 years 4 months ago
2008
One of the great benefits that Semantic Web (SW) technology offers is facilitating large scale integration and sharing of distributed data sources. Transferring this technology fro...