Sciweavers

4581 search results - page 498 / 917
» Computing Transformation Semigroups
Sort
View
CEC
2007
IEEE
15 years 11 months ago
Psim: a simulator for biomolecular dynamics based on P systems
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
Luca Bianco, Vincenzo Manca, Luca Marchetti, Miche...
RTA
2010
Springer
15 years 10 months ago
Proving Productivity in Infinite Data Structures
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
Hans Zantema, Matthias Raffelsieper
RTA
2010
Springer
15 years 10 months ago
Simulation in the Call-by-Need Lambda-Calculus with letrec
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
Manfred Schmidt-Schauß, David Sabel, Elena M...
EDOC
2009
IEEE
15 years 10 months ago
Enterprise Architecture Analysis for Data Accuracy Assessments
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
Per Närman, Pontus Johnson, Mathias Ekstedt, ...
CGI
2004
IEEE
15 years 10 months ago
Animated Sweepers: Keyframed Swept Deformations
This paper presents animated sweepers, a method for animating the space deformations called sweepers. This technique allows a user to animate the modeling of a shape, and to edit ...
Alexis Angelidis, Geoff Wyvill