10718 search results - page 727 / 2144 » On the Circuit Implementation Problem |
148
click to vote
DIM
2006
ACM
16 years 1 months ago
2006
ACM
With the advancement in user-centric and URI-based identity systems over the past two years, it has become clear that a single specification will not be the solution to all proble...
171
click to vote
AUSAI
2005
Springer
16 years 1 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
192
click to vote
ISRR
2005
Springer
16 years 1 months ago
2005
Springer
ct This paper presents the author’s view on the main challenges for autonomous operation in surface mining environment. A brief overview of the mine operation is presented showin...
191
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
This paper describes the application of genetic programming to synthesize a small form factor, 2 dimensional wire antenna for a 5.2 GHz 802.11a wireless LAN application. Utilizing ...
181
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
Automatic Global Data Partitioning for Distributed Memory Machines DMMs is a di cult problem. In this work, we present a partitioning strategy called 'Hyperplane Partitioning...