9504 search results - page 1625 / 1901 » Dynamic Substitution Model |
133
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
130
click to vote
ESTIMEDIA
2009
Springer
15 years 11 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
139
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
141
click to vote
MIRAGE
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we describe a dynamic texture overlay method from monocular images for real-time visualization of garments in a virtual mirror environment. Similar to looking into a...
128
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...