Sciweavers

3717 search results - page 393 / 744
» Representing Multiple Theories
Sort
View
QSIC
2007
IEEE
16 years 2 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
CASC
2007
Springer
112views Mathematics» more  CASC 2007»
16 years 1 months ago
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors
A common way of implementing multivariate polynomial multiplication and division is to represent polynomials as linked lists of terms sorted in a term ordering and to use repeated ...
Michael B. Monagan, Roman Pearce
GPC
2007
Springer
16 years 1 months ago
A Thin Client Approach to Supporting Adaptive Session Mobility
Recent growth in computing devices from the smartphone to the desktop computer has led to users interacting with multiple computing devices throughout the course of the day. Modern...
Daniel MacCormac, Mark Deegan, Fred Mtenzi, Brenda...
ACSC
2006
IEEE
16 years 1 months ago
Rendering multi-perspective images with trilinear projection
Non-linear projections of 3D graphical scenes can be used to compute reflections and refractions in curved surfaces, draw artistic images in the style of Escher or Picasso, and p...
Scott Vallance, Paul R. Calder
CVPR
2006
IEEE
16 years 1 months ago
Estimating Intrinsic Component Images using Non-Linear Regression
Images can be represented as the composition of multiple intrinsic component images, such as shading, albedo, and noise images. In this paper, we present a method for estimating i...
Marshall F. Tappen, Edward H. Adelson, William T. ...