1830 search results - page 272 / 366 » Centering in Dynamic Semantics |
ICIAP
1999
ACM
15 years 3 months ago
1999
ACM
In this paper, we applied local warping techniques to construct a frame work of image-based morphing for facial expressions animation with low complexity. From the experience we o...
CCS
1998
ACM
15 years 3 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
ECOOP
1998
Springer
15 years 3 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
110
click to vote
ER
1998
Springer
15 years 3 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
TARK
1998
Springer
15 years 3 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...