745 search results - page 51 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
ICDE
2005
IEEE
14 years 9 months ago
2005
IEEE
The query optimizer of a database system is confronted with two aspects when handling user-defined functions (UDFs) in query predicates: the vast differences in evaluation costs b...
VIS
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a novel approach for the direct computation of integral surfaces in general vector fields. As opposed to previous work, which we analyze in detail, our approach is based...
JBI
2011
13 years 2 months ago
2011
Automated approaches to promoting health behavior change, such as exercise, diet, and medication adherence promotion, have the potential for significant positive impact on society...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Biologists currently devote significant time and effort searching information for their research. The wide diversity in terminology used inhibit effective computerized and manual...
FORTE
2009
13 years 5 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...