Sciweavers

4480 search results - page 180 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
ISIPTA
2005
IEEE
146views Mathematics» more  ISIPTA 2005»
16 years 8 hour ago
Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
Jianzhong Zhang 0004, Daniel Berleant
UIST
1997
ACM
15 years 10 months ago
Interactive Beautification: A Technique for Rapid Geometric Design
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
Takeo Igarashi, Satoshi Matsuoka, Sachiko Kawachiy...
SCALESPACE
2005
Springer
15 years 12 months ago
Discontinuity-Preserving Computation of Variational Optic Flow in Real-Time
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...
Andrés Bruhn, Joachim Weickert, Timo Kohlbe...
FSEN
2007
Springer
16 years 17 days ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
CP
2010
Springer
15 years 5 months ago
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
Roman van der Krogt, Jacob Feldman, James Little, ...