Sciweavers

2268 search results - page 68 / 454
» The Essence of Form Abstraction
Sort
View
BIRTHDAY
2008
Springer
15 years 3 months ago
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanu...
AIRS
2005
Springer
15 years 3 months ago
Fuzzy Post-clustering Algorithm for Web Search Engine
Abstract. We propose a new clustering algorithm satisfying requirements for the post-clustering algorithms as many as possible. The proposed “Fuzzy Concept ART” is the form of ...
Younghee Im, Jiyoung Song, Daihee Park
ASM
2005
ASM
15 years 3 months ago
A Modular Design for the Common Language Runtime (CLR) Architecture
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
Nicu G. Fruja
DLT
2010
15 years 2 months ago
Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups
Abstract. It is shown that for graph groups (right-angled Artin groups) the conjugacy problem as well as a restricted version of the simultaneous conjugacy problem can be solved in...
Niko Haubold, Markus Lohrey, Christian Mathissen
ICAI
2004
15 years 2 months ago
Potential-Based Processing for Action-Game Experimentation
Abstract-- We define a framework for what we call potentialbased computing and show how it may be applied to actionmotion applications in general and dynamic games in particular. W...
Russ Abbott, Valentino Crespi