972 search results - page 72 / 195 » Reasoning with Conditional Time-Intervals |
118
Voted
TITS
2002
15 years 2 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...
108
Voted
UTP
2010
15 years 19 days ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
142
Voted
BIOCOMP
2010
14 years 11 months ago
2010
Abstract-- This study deals with investigating the classification performance of information-theoretic measures when applied to complex biological networks. In particular, our aim ...
123
Voted
TSP
2010
14 years 9 months ago
2010
[1, 2] have shown for the dynamic spectrum allocation problem that a competitive market model (which sets a price for transmission power on each channel) leads to a greater social...
205
Voted
ASMTA
2011
Springer
14 years 6 months ago
2011
Springer
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...