Sciweavers

SYNASC
2008
IEEE
266views Algorithms» more  SYNASC 2008»
14 years 5 months ago
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. This enables us to compute data dependences in more ge...
Armin Größlinger, Stefan Schuster
SYNASC
2008
IEEE
267views Algorithms» more  SYNASC 2008»
14 years 5 months ago
Grammar-Based Automatic Extraction of Definitions
This paper presents part of our work in the LT4eL project [1] regarding the grammar developed by the Romanian team in order to extract definitions from texts. Some qualitative res...
Adrian Iftene, Ionut Pistol, Diana Trandabat
SYNASC
2008
IEEE
246views Algorithms» more  SYNASC 2008»
14 years 5 months ago
Abstract Matrix Arithmetic
Alan P. Sexton, Volker Sorge, Stephen M. Watt
SYNASC
2008
IEEE
274views Algorithms» more  SYNASC 2008»
14 years 5 months ago
Verbalising R2ML Rules into SBVR
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
Oana Nicolae, Gerd Wagner
SYNASC
2008
IEEE
277views Algorithms» more  SYNASC 2008»
14 years 5 months ago
An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors
Particle Swarm Optimization (PSO) has recently emerged as a nature inspired algorithm for real parameter optimization. This article describes a method for improving the final accur...
Sayan Ghosh, Debarati Kundu, Kaushik Suresh, Swaga...
SYNASC
2008
IEEE
300views Algorithms» more  SYNASC 2008»
14 years 5 months ago
A Theory of Adaptable Contract-Based Service Composition
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
Giovanni Bernardi, Michele Bugliesi, Damiano Maced...
SYNASC
2008
IEEE
235views Algorithms» more  SYNASC 2008»
14 years 5 months ago
Communicating Mathematics via Pen-Based Interfaces
Elena S. Smirnova, Stephen M. Watt
SYNASC
2008
IEEE
239views Algorithms» more  SYNASC 2008»
14 years 5 months ago
Undecidability Results for Finite Interactive Systems
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefa...