Sciweavers

811 search results - page 87 / 163
» Flow Theory: An Enhancement
Sort
View
FUIN
2008
91views more  FUIN 2008»
13 years 8 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
CORR
2006
Springer
93views Education» more  CORR 2006»
13 years 8 months ago
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
Joachim Wehler
KES
2008
Springer
13 years 8 months ago
Information Coordination Using Meta-agents in Information Logistics Processes
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
Mats Apelkrans, Anne Håkansson
TMI
2008
124views more  TMI 2008»
13 years 8 months ago
A Review of Geometric Transformations for Nonrigid Body Registration
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...
Mark Holden
FOCM
2002
83views more  FOCM 2002»
13 years 8 months ago
A Rigorous ODE Solver and Smale's 14th Problem
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
Warwick Tucker