Sciweavers

451 search results - page 27 / 91
» Relationless Completeness and Separations
Sort
View
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
15 years 2 months ago
Verification of the RF Subsystem within Wireless LAN System Level Simulation
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
Uwe Knöchel, Thomas Markwirth, Jürgen Ha...
WECWIS
2003
IEEE
97views ECommerce» more  WECWIS 2003»
15 years 2 months ago
Auctions with Untrustworthy Bidders
The paper analyzes auctions which are not completely enforceable. In such auctions, economic agents may fail to carry out their obligations, and parties involved cannot rely on ex...
Sviatoslav Braynov, Tuomas Sandholm
59
Voted
CAISE
2003
Springer
15 years 2 months ago
Coordination for Distributed Business Systems
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
Luis Filipe Andrade, José Luiz Fiadeiro, An...
ISCAS
2002
IEEE
109views Hardware» more  ISCAS 2002»
15 years 2 months ago
State space blind source recovery for mixtures of multiple source distributions
The paper discusses State Space Blind Source Recovery (BSR) for minimum phase and non-minimum phase mixtures of gaussian and non-gaussian distributions. The State Space Natural Gr...
Khurram Waheed, Fathi M. Salam
108
Voted
FROCOS
2009
Springer
15 years 2 months ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...