1534 search results - page 102 / 307 » Error Reporting Logic |
ACTA
1998
14 years 10 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...
DLOG
2009
14 years 8 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...
DCC
2010
IEEE
15 years 5 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 ...
ICCS
2007
Springer
15 years 4 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...
ICDCSW
2005
IEEE
15 years 3 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...