Sciweavers

1893 search results - page 123 / 379
» Computational composites
Sort
View
NPAR
2004
ACM
15 years 10 months ago
Example-based composite sketching of human portraits
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
Hong Chen, Ziqiang Liu, Chuck Rose, Yingqing Xu, H...
SG
2010
Springer
15 years 10 months ago
Automatic Blending of Multiple Perspective Views for Aesthetic Composition
Hand-drawn pictures differ from ordinary perspective images in that the entire scene is composed of local feature regions each of which is projected individually as seen from its ...
Kairi Mashio, Kenichi Yoshida, Shigeo Takahashi, M...
SAC
2009
ACM
15 years 9 months ago
Annotating UDDI registries to support the management of composite services
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...
M. Brian Blake, Michael F. Nowlan, Ajay Bansal, Sr...
143
Voted
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 9 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
WOA
2001
15 years 6 months ago
Multi-Agent Systems as Composition of Observable Systems
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
Mirko Viroli, Andrea Omicini