Constraint programming on infinite data streams.
在日常生活中，我們經常會接觸到資料序列。例如機器所作出的每一個動作、模擬下的每一個狀態或是琴譜上的每一個音符，都是各種資料序列。當事情隨時間而不斷產生變化時，這些資料序列中便會有無限多個的資料。一般而言，許多問題都可建模為有限定義域的約束滿足問題。可是對於一些問題中有隨時間而產生變化的量值，在建模時便會面對很多困難。當這些問題被建模為約束滿足問題時，為了配合有限的定義域，我們通常只能把問題限制於一段固定的時間間隔中。然而，在許多情況下，很多有用的資訊會因我們的限制而流失。隨時間而變化的數值猶如一串無窮無盡的資料流。我們為此提出對無限資料串流作約束編程。無限長的資料串流使得在表示、處理和推理時，...
| Other Authors: | |
|---|---|
| Format: | Others |
| Language: | English Chinese |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://library.cuhk.edu.hk/record=b5549726 http://repository.lib.cuhk.edu.hk/en/item/cuhk-327989 |