Sciweavers

13987 search results - page 125 / 2798
» The Two Guards Problem
Sort
View
SELMAS
2005
Springer
15 years 9 months ago
Agent Roles, Qua Individuals and the Counting Problem
Despite the relevance of the concept of role for conceptual modeling and agent-orientation, there is still in the literature a lack of consensus on the meaning of this notion and h...
Giancarlo Guizzardi
AMC
2005
125views more  AMC 2005»
15 years 3 months ago
Wavelet multilayer Taylor Galerkin schemes for hyperbolic and parabolic problems
In this study wavelet based high-order Taylor Galerkin methods is introduced. Additional time layers are used to obtain high-order temporal accuracy unattainable within a two-step...
B. V. Rathish Kumar, Mani Mehra
184
Voted
MST
2011
191views Hardware» more  MST 2011»
14 years 10 months ago
Vertex Cover Problem Parameterized Above and Below Tight Bounds
Abstract. We study the well-known Vertex Cover problem parameterized above and below tight bounds. We show that two of the parameterizations (both were suggested by Mahajan, Raman ...
Gregory Gutin, Eun Jung Kim, Michael Lampis, Valia...
JSCIC
2007
132views more  JSCIC 2007»
15 years 3 months ago
Minimal Stabilization for Discontinuous Galerkin Finite Element Methods for Hyperbolic Problems
We consider a discontinuous Galerkin finite element method for the advection–reaction equation in two space–dimensions. For polynomial approximation spaces of degree greater t...
E. Burman, B. Stamm
106
Voted
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
15 years 9 months ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman