6562 search results - page 367 / 1313 » Noetherianity and Combination Problems |
192
click to vote
DAC
2003
ACM
16 years 1 days ago
2003
ACM
Fourth-generation wireless communication systems (4G) will have totally different requirements than what front-end designers have been coping with up to now. Designs must be targe...
168
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
201
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
163
Voted
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
193
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...