5086 search results - page 648 / 1018 » The Power of Comparative Reasoning |
173
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
203
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
170
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started...
152
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
174
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...