4158 search results - page 356 / 832 » A Framework for Web Science |
173
click to vote
ICMT
2010
Springer
15 years 10 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
150
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
171
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
171
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
By simultaneously considering evolution processes for parametric spline curves and implicitly defined curves, we formulate the framework of dual evolution. This allows us to combin...
165
click to vote
TCS
2010
15 years 5 months ago
2010
Borodin, Nielsen and Rackoff [13] introduced the class of priority algorithms as a framework for modeling deterministic greedy-like algorithms. In this paper we address the effe...