5550 search results - page 978 / 1110 » Different Approaches to Proof Systems |
168
click to vote
SSWMC
2004
15 years 8 months ago
2004
This paper deals with the problem of synchronization in the particular case of audio data hiding. In this kind of application the goal is to increase the information of an audio d...
173
click to vote
AAAI
1998
15 years 8 months ago
1998
We explore techniques for maintaining consistency in reasoning when employing dynamic hierarchical task decompositions. In particular, we consider the difficulty of maintaining co...
200
click to vote
ESANN
2000
15 years 8 months ago
2000
Planing the operation in modern power systems requires suitable anticipation of load evolution at different levels of distribution network. Under this perspective, load forecasting...
170
click to vote
KYOTODL
2000
15 years 8 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...
161
click to vote
PDPTA
2000
15 years 8 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...