Sciweavers

6258 search results - page 476 / 1252
» Applied Text Generation
Sort
View
BIRTHDAY
2004
Springer
16 years 11 days ago
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs
del based on (overlap) graphs. The latter is more abstract because the translation of legal strings into overlap graphs is not injective. In this paper we consider and solve the ov...
Tero Harju, Ion Petre, Grzegorz Rozenberg
ICCSA
2004
Springer
16 years 10 days ago
Exception Rules Mining Based on Negative Association Rules
Exception rules have been previously defined as rules with low interest and high confidence. In this paper a new approach to mine exception rules will be proposed and evaluated. In...
Olena Daly, David Taniar
IFIP
2004
Springer
16 years 10 days ago
Solving Geometrical Place Problems by using Evolutionary Algorithms
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
Crina Grosan
CAV
2003
Springer
154views Hardware» more  CAV 2003»
16 years 6 days ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
BIRTHDAY
2000
Springer
15 years 11 months ago
Niklaus Wirth - a Pioneer of Computer Science
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
Gustav Pomberger, Hanspeter Mössenböck, ...