1737 search results - page 322 / 348 » On Interpolation in Existence Logics |
121
click to vote
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
Despite the progress of the last decades in electronic design automation, arithmetic circuits have always received way less attention than other classes of digital circuits. Logic...
155
click to vote
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
—Rate adaptation, as a challenging issue for wireless purpose. Relatively little attention has been paid on identifying network design, has been an active research topic for year...
177
click to vote
ICCS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
165
click to vote
ICN
2007
Springer
16 years 7 days ago
2007
Springer
—Peer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...
178
click to vote
ICSOC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...