Sciweavers

1713 search results - page 87 / 343
» Analysis of Procedure Splitability
Sort
View
CAI
2010
Springer
13 years 7 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
CLEF
2004
Springer
14 years 3 months ago
Bulgarian-English Question Answering: Adaptation of Language Resources
This paper describes the Bulgarian part of a Bulgarian–English question answering system. The Bulgarian modules are implemented as a question analysis procedure within a Bulgari...
Petya Osenova, Alexander Simov, Kiril Ivanov Simov...
ASAP
1997
IEEE
139views Hardware» more  ASAP 1997»
14 years 2 months ago
Buffer size optimization for full-search block matching algorithms
This paper presents how to find optimized buffer size for VLSI architectures of full-search block matching algorithms. Starting from the DG (dependency graph) analysis, we focus i...
Yuan-Hau Yeh, Chen-Yi Lee
DAC
1996
ACM
14 years 2 months ago
Opportunities and Obstacles in Low-Power System-Level CAD
A case study in low-power system-level design is presented. We detail the design of a low-power embedded system, a touchscreen interface device for a personal computer. This devic...
Andrew Wolfe
LPNMR
1997
Springer
14 years 2 months ago
Improving the Alternating Fixpoint: The Transformation Approach
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
Ulrich Zukowski, Burkhard Freitag, Stefan Brass