Sciweavers

2446 search results - page 382 / 490
» Polyadic Concept Analysis
Sort
View
114
Voted
SEFM
2007
IEEE
15 years 9 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
145
Voted
SMI
2007
IEEE
194views Image Analysis» more  SMI 2007»
15 years 9 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...
85
Voted
VTC
2007
IEEE
171views Communications» more  VTC 2007»
15 years 9 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
15 years 8 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
116
Voted
ATAL
2007
Springer
15 years 8 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