177 search results - page 26 / 36 » Combining Proof-Producing Decision Procedures |
JSAC
2006
13 years 6 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
CCE
2005
13 years 6 months ago
2005
A method to select appropriate green solvents for the promotion of a class of organic reactions has been developed. The method combines knowledge from industrial practice and phys...
JAIR
1998
13 years 6 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
ICTAC
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
SIGPRO
2010
13 years 1 months ago
2010
In this paper, we address the problem of determining the order of MISO channels by means of a series of hypothesis tests based on scalar statistics. Using estimated 4th-order outp...