Sciweavers

3771 search results - page 444 / 755
» Subobject Transformation Systems
Sort
View
IANDC
2007
117views more  IANDC 2007»
15 years 4 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
ALIFE
2004
15 years 4 months ago
Autopoiesis and Cognition in the Game of Life
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
Randall D. Beer
163
Voted
JUCS
2002
146views more  JUCS 2002»
15 years 4 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
MOC
2002
93views more  MOC 2002»
15 years 4 months ago
Conjugate gradient method for dual-dual mixed formulations
We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structur...
Gabriel N. Gatica, Norbert Heuer
IPPS
2010
IEEE
15 years 2 months ago
Optimizing and tuning the fast multipole method for state-of-the-art multicore architectures
This work presents the first extensive study of singlenode performance optimization, tuning, and analysis of the fast multipole method (FMM) on modern multicore systems. We consid...
Aparna Chandramowlishwaran, Samuel Williams, Leoni...