Sciweavers

3381 search results - page 281 / 677
» Extending Dependencies with Conditions
Sort
View
SPLC
2010
15 years 8 months ago
Delta-Oriented Programming of Software Product Lines
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferru...
ICWS
2008
IEEE
15 years 8 months ago
Generalized Semantics-Based Service Composition
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal ...
NAACL
2003
15 years 8 months ago
Factored Language Models and Generalized Parallel Backoff
We introduce factored language models (FLMs) and generalized parallel backoff (GPB). An FLM represents words as bundles of features (e.g., morphological classes, stems, data-drive...
Jeff Bilmes, Katrin Kirchhoff
FSTTCS
2008
Springer
15 years 7 months ago
Sound Lemma Generation for Proving Inductive Validity of Equations
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
Takahito Aoto
GLOBECOM
2008
IEEE
15 years 7 months ago
A Cognitive Framework for Improving Coexistence Among Heterogeneous Wireless Networks
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
Stefan Geirhofer, Lang Tong, Brian M. Sadler