82 search results - page 4 / 17 » Parameter Augmentation for Two Formulas |
ISMAR
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper describes a platform package, called “MR Platform,” which we have been implementing for research and development of augmented reality technology and applications. T...
ICPPW
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms on various computer networks. In our previ...
AAAI
2006
13 years 7 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
SIAMSC
2008
13 years 5 months ago
2008
In this paper we introduce and analyze two augmented mixed finite element methods for a velocity-pressure-stress formulation of the stationary Stokes equations. Our approach, which...
EOR
2008
13 years 5 months ago
2008
In this paper we consider a single item, discrete time, lot sizing situation where demand is random and its parameters (e.g., mean and standard deviation) can change with time. Fo...