Sciweavers

1259 search results - page 163 / 252
» Use Cases, Actions, and Roles
Sort
View
CORR
2011
Springer
158views Education» more  CORR 2011»
15 years 1 months ago
The power and Arnoldi methods in an algebra of circulants
Circulant matrices play a central role in a recently proposed formulation of three-way data computations. In this setting, a three-way table corresponds to a matrix where each “...
David F. Gleich, Chen Greif, James M. Varah
SIAMJO
2011
15 years 1 months ago
A Unifying Polyhedral Approximation Framework for Convex Optimization
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
Dimitri P. Bertsekas, Huizhen Yu
SIAMMA
2010
102views more  SIAMMA 2010»
15 years 1 months ago
Trace Theorems for a Class of Ramified Domains with Self-Similar Fractal Boundaries
This work deals with trace theorems for a class of ramified bidimensional domains with a self-similar fractal boundary . The fractal boundary is supplied with a probability measur...
Yves Achdou, Nicoletta Tchou
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 11 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
SIGUCCS
2000
ACM
15 years 10 months ago
Remedial Help Desk 101 at Florida State University
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
Diana Orrick, Jeff Bauer, Ernest McDuffie