Sciweavers

2446 search results - page 382 / 490
» Polyadic Concept Analysis
Sort
View
SEFM
2007
IEEE
14 years 4 months ago
Automatically Proving Concurrent Programs Correct
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...
Byron Cook
SMI
2007
IEEE
194views Image Analysis» more  SMI 2007»
14 years 4 months ago
Robust Smooth Feature Extraction from Point Clouds
Defining sharp features in a given 3D model facilitates a better understanding of the surface and aids visualizations, reverse engineering, filtering, simplification, non-photo...
Joel Daniels II, Linh K. Ha, Tilo Ochotta, Cl&aacu...
VTC
2007
IEEE
171views Communications» more  VTC 2007»
14 years 4 months ago
Reducing Inter-Cell Handover Events based on Cell ID Information in Multi-hop Relay Systems
—To reduce handover overhead such as signaling overhead and latency, optimal handover algorithm is needed for Mobile Multi-hop Relay (MMR) systems. This article proposes a novel ...
Ji Hyun Park, Ki-Young Han, Dong-Ho Cho
SASO
2007
IEEE
14 years 4 months ago
Root Cause Isolation for Self Healing in J2EE Environments
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
Umesh Bellur, Amar Agrawal
ATAL
2007
Springer
14 years 4 months ago
A computational characterization of multiagent games with fallacious rewards
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
Ariel D. Procaccia, Jeffrey S. Rosenschein