1113 search results - page 136 / 223 » Automated Approaches for Classifying Structures |
122
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
165
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
155
Voted
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
112
Voted
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
107
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...