3844 search results - page 545 / 769 » Modular interpreted systems |
130
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
174
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
166
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...
183
click to vote
JUCS
2007
2007
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
15 years 6 months ago
: This paper describes an ontology-based approach aiming at helping biologists to annotate their documents and at facilitating their information retrieval task. Our approach, based...
159
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...