Sciweavers

1546 search results - page 174 / 310
» Thoughts on solution concepts
Sort
View
CONCUR
2008
Springer
13 years 11 months ago
Invariants for Parameterised Boolean Equation Systems
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
Simona Orzan, Tim A. C. Willemse
HT
2007
ACM
13 years 11 months ago
Experiments toward reverse linking on the web
Multi-headed reverse linking (incoming links) is a fundamental concept of Open Hypermedia Systems. However, this bi-directionality has been lost in the move to the World Wide Web ...
Yeliz Yesilada, Darren Lunn, Simon Harper
ATMOS
2008
112views Optimization» more  ATMOS 2008»
13 years 11 months ago
Dynamic Algorithms for Recoverable Robustness Problems
Abstract. Recently, the recoverable robustness model has been introduced in the optimization area. This model allows to consider disruptions (input data changes) in a unified way, ...
Serafino Cicerone, Gabriele Di Stefano, Michael Sc...
IESA
2007
13 years 11 months ago
CCTS-based Business Information Modelling for Increasing Cross-Organizational Interoperability
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
Christoph Schroth, G. Pemptroad, Till Janner
HIS
2008
13 years 11 months ago
Evaluating Ranking Composition Methods for Multi-Objective Optimization of Knowledge Rules
Most symbolic classifiers aim at building sets of rules with good coverage and precision. While this is suitable for most applications, they tend to neglect other desirable proper...
Rafael Giusti, Gustavo E. A. P. A. Batista, Ronald...