Sciweavers

21319 search results - page 696 / 4264
» An Approach for Method Reengineering
Sort
View
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 7 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
JUCS
2002
131views more  JUCS 2002»
15 years 7 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk
JAIR
2011
129views more  JAIR 2011»
15 years 2 months ago
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
Wei Li 0002, Pascal Poupart, Peter van Beek
216
Voted
TASLP
2011
15 years 2 months ago
Tempo Detection Using a Hybrid Multiband Approach
—In this paper, a novel tempo detection system is presented, which suggests the use of a hybrid multiband decomposition. The model tracks the periodicities of different signal pr...
Mikel Gainza, Eugene Coyle
JDCTA
2010
150views more  JDCTA 2010»
15 years 2 months ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng