Sciweavers

1156 search results - page 29 / 232
» Compositional Methods for Information-Hiding
Sort
View
DEXAW
2004
IEEE
103views Database» more  DEXAW 2004»
13 years 11 months ago
An Object-Oriented Approach to GI Web Service Composition
In this paper we describe a novel approach to the incremental, semi-automated method for composition of web services in a geographical domain. First, we present the incremental co...
Carlos Granell, J. Francisco Ramos
CVPR
2009
IEEE
15 years 2 months ago
On Compositional Image Alignment with an Application to Active Appearance Models
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositional ...
Brian Amberg (University of Basel), Andrew Blake (...
FMCAD
2006
Springer
13 years 11 months ago
Thorough Checking Revisited
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
JSCIC
2006
71views more  JSCIC 2006»
13 years 7 months ago
Homogenization of Periodically Varying Coefficients in Electromagnetic Materials
In this paper we employ the periodic unfolding method for simulating the electromagnetic field in a composite material exhibiting heterogeneous microstructures which are described...
H. T. Banks, V. A. Bokil, D. Cioranescu, Nathan L....
IHIS
2005
ACM
14 years 1 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao