122 search results - page 9 / 25 » Definability in the Infix Order on Words |
JUCS
2006
13 years 7 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
JCAM
2010
13 years 2 months ago
2010
A new approach to slope limiting for discontinuous Galerkin methods on arbitrary meshes is introduced. A local Taylor basis is employed to express the approximate solution in term...
ISCAS
2003
IEEE
14 years 22 days ago
2003
IEEE
—The paper describes the transfer functions with monotonic step response. These functions required in design of wide-band pulse amplifiers were synthesized using the first semi-p...
STTT
2008
13 years 7 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
JUCS
2002
13 years 7 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...