Sciweavers

16206 search results - page 230 / 3242
» At Issue
Sort
View
DAC
1994
ACM
15 years 10 months ago
Cost of Silicon Viewed from VLSI Design Perspective
- This paper provides an overview of design/test/CAD silicon cost-related issues. All major factors contributing to the rapid growth of manufacturing costs are explained and a simp...
Wojciech Maly
FM
2006
Springer
112views Formal Methods» more  FM 2006»
15 years 10 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...
GECCO
2000
Springer
108views Optimization» more  GECCO 2000»
15 years 10 months ago
Hierarchical Problem Solving and the Bayesian Optimization Algorithm
The paper discusses three major issues. First, it discusses why it makes sense to approach problems in a hierarchical fashion. It de nes the class of hierarchically decomposable f...
Martin Pelikan, David E. Goldberg
AICT
2006
IEEE
118views Communications» more  AICT 2006»
15 years 8 months ago
Web Service Offerings Language (WSOL) Support for Context Management of Mobile/Embedded XML Web Services
Specification of monitored context properties and their influence on behavior of Web services and management activities is a prerequisite for contextsensitive operation, which is ...
Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang
DAS
2008
Springer
15 years 8 months ago
Dolores: An Interactive and Class-Free Approach for Document Logical Restructuring
Physical and logical structure recovering from electronic documents is still an open issue. In this paper, we propose a flexible and efficient approach for recovering document str...
Jean-Luc Bloechle, Catherine Pugin, Rolf Ingold