3690 search results - page 526 / 738 » Computation with classical sequents |
192
click to vote
SIAMSC
2011
14 years 8 months ago
2011
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
213
click to vote
ALDT
2011
Springer
14 years 5 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
190
click to vote
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
175
click to vote
TMC
2012
13 years 7 months ago
2012
—This work addresses the fundamental problem of distinguishing between a driver and passenger using a mobile phone, which is the critical input to enable numerous safety and inte...
176
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 2 months ago
2010
Eurographics
This paper presents a novel interactive approach for adding depth information into hand-drawn cartoon images and animations. In comparison to previous depth assignment techniques ...