1534 search results - page 102 / 307 » Error Reporting Logic |
123
click to vote
ACTA
1998
15 years 3 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
136
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
154
click to vote
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
The multiple description coding of an independent and identically distributed Gaussian source over bit error channels is considered. A novel practical multiple description coding ...
119
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
108
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
∗ In this paper, we propose a transport control performance improvement algorithm in heterogeneous networks. This paper discusses some novel algorithms to estimate the available...