Sciweavers

4987 search results - page 587 / 998
» Support Ordered Resolution
Sort
View
ACTA
2007
96views more  ACTA 2007»
15 years 7 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
157
Voted
ANOR
2008
108views more  ANOR 2008»
15 years 7 months ago
A consensus model of political decision-making
In this paper, a model of political consensus is introduced. Parties try to reach consensus in forming a government. A government is defined as a pair consisting of a winning coali...
Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. ...
CLEIEJ
2008
115views more  CLEIEJ 2008»
15 years 7 months ago
Construction of an Attribute-Value Representation for Semi-structured Medical Findings Knowledge Extraction
Data Mining is a process related to analysis, understanding and knowledge extraction from databases. In order to perform this process it is usually necessary to represent the data...
Daniel de Faveri Honorato, Everton Alvares Cherman...
CLEIEJ
2008
72views more  CLEIEJ 2008»
15 years 7 months ago
Measuring Contribution of HTML Features in Web Document Clustering
Documents in HTML format have many features to analyze, from the terms in special sections to the phrases that appear in the whole document. However, it is important to decide whi...
Esteban Meneses, Oldemar Rodríguez-Rojas
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 7 months ago
Fast simulation of large-scale growth models
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
Tobias Friedrich, Lionel Levine