Sciweavers

6047 search results - page 1025 / 1210
» Modeling with Extend
Sort
View
ECAIW
2008
Springer
15 years 5 months ago
An Autonomous Algorithm for Generating and Merging Clinical Algorithms
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
Francis Real, David Riaño
151
Voted
ESA
2008
Springer
134views Algorithms» more  ESA 2008»
15 years 5 months ago
Improved Randomized Results for That Interval Selection Problem
Online interval selection is a problem in which intervals arrive one by one, sorted by their left endpoints. Each interval has a length and a non-negative weight associated with i...
Leah Epstein, Asaf Levin
ATMOS
2007
129views Optimization» more  ATMOS 2007»
15 years 4 months ago
Applied Railway Optimization in Production Planning at DSB S-tog - tasks, tools and challenges
Efficient public transportation is becoming increasingly vital for modern capitals. DSB S-tog a/s is the major supplier of rail traffic on the infrastructure of the city-rail netwo...
Jens Clausen
FOIKS
2008
Springer
15 years 4 months ago
Towards a Fuzzy Logic for Automated Multi-issue Negotiation
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
Azzurra Ragone, Umberto Straccia, Tommaso Di Noia,...
FOIKS
2008
Springer
15 years 4 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
« Prev « First page 1025 / 1210 Last » Next »