Sciweavers

2542 search results - page 114 / 509
» An Operational Definition of Context
Sort
View
TCS
2002
15 years 6 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
EUROGP
2006
Springer
136views Optimization» more  EUROGP 2006»
15 years 10 months ago
Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...
Leonardo Vanneschi, Steven Gustafson, Giancarlo Ma...
COMMA
2008
15 years 8 months ago
Argument Theory Change: Revision Upon Warrant
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
Nicolás D. Rotstein, Martín O. Mogui...
IQ
2007
15 years 8 months ago
A Framework And A Methodology For Data Quality Assessment And Monitoring
: Data quality (DQ) is emerging as a new relevant area for the improvement of the effectiveness of organizations. Despites the consequences of poor quality of data are often experi...
Carlo Batini, Daniele Barone, Michele Mastrella, A...
IVC
2008
71views more  IVC 2008»
15 years 6 months ago
Topological triangle characterization with application to object detection from images
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
Luis Gustavo Nonato, Mario A. S. Lizier, J. Batist...