8555 search results - page 1404 / 1711 » Property Based Coordination |
176
click to vote
TAMC
2010
Springer
15 years 12 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
187
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method for protein structure comparison that is based on indexing. Unlike most methods using indexing, ours does not use invariants of the C atoms of th...
206
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
184
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Nowadays, the commonly used table lookup scheme for IP routing is based on the so-called classless interdomain routing (CIDR). With CIDR, routers must find out the best matching ...
159
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...