Sciweavers

2268 search results - page 68 / 454
» The Essence of Form Abstraction
Sort
View
BIRTHDAY
2008
Springer
13 years 10 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
13 years 10 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
13 years 10 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
13 years 9 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
13 years 9 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