Sciweavers

2834 search results - page 322 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
SOFSEM
2007
Springer
16 years 21 days ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 10 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
WSC
2007
15 years 9 months ago
Towards a framework for healthcare simulation
The changing needs of healthcare provision around the world are forcing service designers and decision makers to adopt new tools in design and evaluation of processes. Apart from ...
Tillal Eldabi, Terry Young
CAEPIA
2009
Springer
15 years 7 months ago
Developing Strategies for the ART Domain
In this paper we propose the design of an agent for the ART Testbed, a tool created with the goal of objectively evaluate different trust strategies. The agent design includes a tr...
Javier Murillo, Víctor Muñoz, Beatri...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 10 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...