3702 search results - page 539 / 741 » All Pairings Are in a Group |
166
click to vote
SEFM
2007
IEEE
16 years 26 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
188
click to vote
SEMCO
2007
IEEE
16 years 26 days ago
2007
IEEE
Human visual recognition is based largely on shape, yet effectively using shapes in natural image retrieval is a challenging task. Most existing methods are based on the geometric...
157
click to vote
SMC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
158
click to vote
SRDS
2007
IEEE
16 years 26 days ago
2007
IEEE
Fault tolerant distributed protocols typically utilize a homogeneous fault model, either fail-crash or fail-Byzantine, where all processors are assumed to fail in the same manner....
170
click to vote
COMSWARE
2007
IEEE
16 years 26 days ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...