4911 search results - page 488 / 983 » Tree dependence analysis |
165
click to vote
RTA
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
139
click to vote
VTC
2007
IEEE
16 years 15 days ago
2007
IEEE
— Data collected in a sensor network is transported hop-by-hop to a sink for further analysis. The quality of the analysis depends on the amount of data reaching the sink. Hence,...
161
click to vote
SAMT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we attempt to characterize resources of information complementary to audio-visual (A/V) streams and propose their usage for enriching A/V data with semantic...
159
click to vote
ADG
2006
Springer
16 years 7 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
181
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...