Sciweavers

2596 search results - page 308 / 520
» Gradual Typing for Objects
Sort
View
SARA
2009
Springer
15 years 11 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
SMA
2009
ACM
157views Solid Modeling» more  SMA 2009»
15 years 11 months ago
Constraint-based model synthesis
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
Paul Merrell, Dinesh Manocha
ASIAMS
2008
IEEE
15 years 11 months ago
Intelligent Web Caching Using Neurocomputing and Particle Swarm Optimization Algorithm
Web caching is a technology for improving network traffic on the internet. It is a temporary storage of Web objects (such as HTML documents) for later retrieval. There are three s...
Sarina Sulaiman, Siti Mariyam Hj. Shamsuddin, Fadn...
AVSS
2008
IEEE
15 years 11 months ago
Shadow Removal in Indoor Scenes
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
Anh-Tuan Nghiem, François Brémond, M...
CDC
2008
IEEE
148views Control Systems» more  CDC 2008»
15 years 11 months ago
Recursive state estimation for linear systems with mixed stochastic and set-bounded disturbances
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
Toivo Henningsson