8766 search results - page 1365 / 1754 » Functional logic programming |
147
click to vote
ERSA
2006
15 years 5 months ago
2006
Thermal monitoring of a design plays a vital role to ensure safe and reliable thermal operating conditions. Thermal monitoring by employing thermal sensors is a popular technique ...
156
click to vote
CATA
2003
15 years 5 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
155
click to vote
IJCAI
2003
15 years 5 months ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
152
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
154
click to vote
CCR
2005
15 years 4 months ago
2005
Today's data networks are surprisingly fragile and difficult to manage. We argue that the root of these problems lies in the complexity of the control and management planes--...