3591 search results - page 193 / 719 » Typing linear constraints |
116
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Authoring tools routinely include a timeline representation to allow the author to specify the sequence of animations and interactions. However, traditional static timelines are b...
159
click to vote
ICC
2008
IEEE
16 years 1 days ago
2008
IEEE
The notion of Shared Risk Resource Groups (SRRG) has been introduced to capture survivability issues when a set of resources may fail simultaneously. Applied to Wavelength Divisio...
152
click to vote
ICTAI
2008
IEEE
16 years 23 hour ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
172
click to vote
DATE
2007
IEEE
15 years 12 months ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
136
click to vote
NPAR
2010
ACM
15 years 10 months ago
2010
ACM
The formulation of Diffusion Curves [Orzan et al. 2008] allows for the flexible creation of vector graphics images from a set of curves and colors: a diffusion process fills out...