953 search results - page 108 / 191 » Constraint Based Transformation Theory |
161
click to vote
DASFAA
2007
IEEE
16 years 6 days ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
178
Voted
DAWAK
2005
Springer
15 years 11 months ago
2005
Springer
Discovery of frequent patterns is a very important data mining problem with numerous applications. Frequent pattern mining is often regarded as advanced querying where a user speci...
175
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
148
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...
130
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...