Sciweavers

3564 search results - page 665 / 713
» Evaluating a Formal Modelling Language
Sort
View
TASLP
2008
108views more  TASLP 2008»
14 years 9 months ago
An Online Relevant Set Algorithm for Statistical Machine Translation
This paper presents a novel online relevant set algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the glob...
Christoph Tillmann, Tong Zhang
AI
1999
Springer
14 years 9 months ago
Using Grice's maxim of Quantity to select the content of plan descriptions
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
R. Michael Young
INFORMATICALT
2002
91views more  INFORMATICALT 2002»
14 years 9 months ago
Bayesian Heuristic Approach to Scheduling
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
Jonas Mockus
JAPLL
2010
179views more  JAPLL 2010»
14 years 8 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
SOCA
2010
IEEE
14 years 7 months ago
Supporting the evolution of model-driven service-oriented systems: A case study on QoS-aware process-driven SOAs
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
Ernst Oberortner, Uwe Zdun, Schahram Dustdar, Agni...