1004 search results - page 140 / 201 » Safe Constraint Queries |
FCCM
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...
ICCBR
2003
Springer
14 years 1 months ago
2003
Springer
In the past conversational recommender systems have adopted a similarity-based approach to recommendation, preferring cases that are similar to some user query or profile. Recent ...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
HIPC
2004
Springer
14 years 2 months ago
2004
Springer
It is well known that in a typical real-time system, certain parameters, such as the execution time of a job, are not fixed numbers. In such systems, it is common to characterize ...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...