5904 search results - page 187 / 1181 » Requirements for a Composition Language |
131
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
102
click to vote
ICCAD
2005
IEEE
16 years 25 days ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
142
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
145
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
128
Voted
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
We describe a representation for multiresolution images--images that have different resolutions in different places--and methods for creating such images using painting and compos...