Sciweavers

1076 search results - page 181 / 216
» Feature Identification: A Novel Approach and a Case Study
Sort
View
CERA
2002
109views more  CERA 2002»
15 years 10 days ago
Devolved Manufacturing
Current research by the developers of rapid prototyping systems is generally focused on improvements in cost, speed and materials to create truly economic and practical economic r...
Richard J. Bateman, Kai Cheng
SPIN
2010
Springer
14 years 11 months ago
Context-Enhanced Directed Model Checking
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
Martin Wehrle, Sebastian Kupferschmid
112
Voted
TKDE
2010
199views more  TKDE 2010»
14 years 11 months ago
Probabilistic Reverse Nearest Neighbor Queries on Uncertain Data
—Uncertain data is inherent in various important applications and reverse nearest neighbor (RNN) query is an important query type for many applications. While many different type...
Muhammad Aamir Cheema, Xuemin Lin, Wei Wang 0011, ...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 10 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
181
Voted
ICASSP
2009
IEEE
14 years 10 months ago
Minimum BER beamforming in the RF domain for OFDM transmissions and linear receivers
In this paper, we study transmission schemes for a novel OFDMbased MIMO system which performs adaptive signal combining in radio-frequency (RF). Specifically, we consider the prob...
Javier Vía, Victor Elvira, Ignacio Santamar...