Sciweavers

961 search results - page 126 / 193
» Automatic design synthesis with artificial intelligence tech...
Sort
View
APN
2010
Springer
15 years 6 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
MICAI
2010
Springer
14 years 12 months ago
Supervised Machine Learning for Predicting the Meaning of Verb-Noun Combinations in Spanish
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
Olga Kolesnikova, Alexander F. Gelbukh
132
Voted
TSP
2010
14 years 8 months ago
Analog beamforming in MIMO communications with phase shift networks and online channel estimation
In multiple-input multiple-output (MIMO) systems, the use of many radio frequency (RF) and analog-to-digital converter (ADC) chains at the receiver is costly. Analog beamformers op...
Vijay Venkateswaran, Alle-Jan van der Veen
APN
2005
Springer
15 years 7 months ago
Modeling Dynamic Architectures Using Nets-Within-Nets
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
15 years 2 months ago
Agent-based support for interactive search in conceptual software engineering design
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
Christopher L. Simons, Ian C. Parmee