Sciweavers

682 search results - page 70 / 137
» Environment Matting and Compositing
Sort
View
BMCBI
2002
81views more  BMCBI 2002»
13 years 7 months ago
Species-specific protein sequence and fold optimizations
Background: An organism's ability to adapt to its particular environmental niche is of fundamental importance to its survival and proliferation. In the largest study of its k...
Michel Dumontier, Katerina Michalickova, Christoph...
ASE
2005
145views more  ASE 2005»
13 years 7 months ago
Developing Ambient Intelligence Systems: A Solution based on Web Services
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
Valérie Issarny, Daniele Sacchetti, Ferda T...
IEE
2010
136views more  IEE 2010»
13 years 6 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
FMCAD
2006
Springer
13 years 11 months ago
Synchronous Elastic Networks
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
Sava Krstic, Jordi Cortadella, Michael Kishinevsky...
PRESENCE
2000
76views more  PRESENCE 2000»
13 years 7 months ago
Make Way for WayMaker
We describe a tool enabling non-professionals to create digital layouts for large-scale graphical virtual environments. The design tool is based on "elements of the city imag...
Carol Strohecker, Barbara Barros