Sciweavers

1641 search results - page 80 / 329
» Subject Composition by Roles
Sort
View
MMSEC
2005
ACM
129views Multimedia» more  MMSEC 2005»
15 years 12 months ago
Exposing digital forgeries by detecting inconsistencies in lighting
When creating a digital composite of, for example, two people standing side-by-side, it is often difficult to match the lighting conditions from the individual photographs. Lighti...
Micah K. Johnson, Hany Farid
EMSOFT
2005
Springer
15 years 12 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ICRA
2002
IEEE
90views Robotics» more  ICRA 2002»
15 years 11 months ago
On Viewpoint Control
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
S. Uppala, Deepak R. Karuppiah, M. Brewer, S. Chan...
EDO
2006
Springer
15 years 10 months ago
Service communities: applications and middleware
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
Stefan Tai, Nirmit Desai, Pietro Mazzoleni
ITA
2007
15 years 6 months ago
Three notes on the complexity of model checking fixpoint logic with chop
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
Martin Lange