526 search results - page 31 / 106 » Representations of structural closure operators |
CAV
2001
Springer
15 years 4 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
AI
2004
Springer
14 years 11 months ago
2004
Springer
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Many relevant Web mining tasks translate into classical algorithms on the Web graph. Compact Web graph representations allow running these tasks on larger graphs within m...
TSD
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Emerging electronic text formats include hierarchical structure and visualization related information that current Text-to-Speech (TtS) systems ignore. In this paper we p...
104
click to vote
DAGM
2009
Springer
15 years 6 months ago
2009
Springer
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...