3605 search results - page 246 / 721 » Analysis and Applications of the XDI model |
284
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
153
click to vote
IJIS
2008
15 years 6 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
223
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
193
click to vote
AAI
2007
15 years 6 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...
165
click to vote
ICML
1995
IEEE
16 years 7 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...