4205 search results - page 716 / 841 » Typed Mobile Objects |
117
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...
148
Voted
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
111
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
139
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
124
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...