Sciweavers

988 search results - page 60 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
FOSSACS
2009
Springer
15 years 4 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi
ISCAS
2008
IEEE
135views Hardware» more  ISCAS 2008»
15 years 4 months ago
Semi-blind channel estimation of MIMO-OFDM systems with pulse shaping
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy
KBSE
2008
IEEE
15 years 4 months ago
The Consistency of Web Conversations
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...
FROCOS
2005
Springer
15 years 3 months ago
Sociable Interfaces
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
Luca de Alfaro, Leandro Dias da Silva, Marco Faell...
SIGECOM
2000
ACM
155views ECommerce» more  SIGECOM 2000»
15 years 2 months ago
Competitive bundling of categorized information goods
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
Jeffrey O. Kephart, Scott A. Fay