Sciweavers

674 search results - page 49 / 135
» Separating Structure from Interestingness
Sort
View
ICIP
2008
IEEE
14 years 4 months ago
Texture modulation-constrained image decomposition
Texture modeling and separation of structure in images are treated in synergy. A variational image decomposition scheme is formulated using explicit texture reconstruction constra...
Georgios Evangelopoulos, Petros Maragos
TES
2005
Springer
14 years 3 months ago
Systematic Design of Web Service Transactions
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
Benjamin A. Schmit, Schahram Dustdar
COORDINATION
2004
Springer
14 years 3 months ago
Problem Frames: A Case for Coordination
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
Leonor Barroca, José Luiz Fiadeiro, Michael...
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
14 years 4 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
PPDP
2007
Springer
14 years 4 months ago
Formalizing and verifying semantic type soundness of a simple compiler
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
Nick Benton, Uri Zarfaty