Sciweavers

6456 search results - page 373 / 1292
» Constraint Solving on Terms
Sort
View
TOG
2012
237views Communications» more  TOG 2012»
13 years 9 months ago
An algebraic model for parameterized shape editing
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
Martin Bokeloh, Michael Wand, Hans-Peter Seidel, V...
CVPR
2005
IEEE
16 years 8 months ago
Digital Tapestry
This paper addresses the novel problem of automatically synthesizing an output image from a large collection of different input images. The synthesized image, called a digital tap...
Carsten Rother, Sanjiv Kumar, Vladimir Kolmogorov,...
SIGIR
2005
ACM
16 years 10 days ago
An exploration of axiomatic approaches to information retrieval
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
Hui Fang, ChengXiang Zhai
158
Voted
PPL
2007
82views more  PPL 2007»
15 years 6 months ago
Improved Runtime and Transfer Time Prediction Mechanisms in a Network Enabled Servers Middleware
In this paper we address the problem of accurately estimating the runtime and communication time of a client request in a Network Enabled Server (NES) middleware such as GridSolve...
Emmanuel Jeannot, Keith Seymour, Asim YarKhan, Jac...
AISC
2010
Springer
15 years 11 months ago
Adapting Mathematical Domain Reasoners
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
Bastiaan Heeren, Johan Jeuring