Sciweavers

14704 search results - page 2571 / 2941
» computing 2007
Sort
View
SEFM
2007
IEEE
15 years 11 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
SEUS
2007
IEEE
15 years 11 months ago
Effective Appliance Selection by Complementary Context Feeding in Smart Home System
Smart Home System (SHS) is one of popular applications in ubiquitous computing, which provides convenient services for a user with userfriendly intelligent system interfaces. Among...
Taek Lee, Jiyong Park, Hoh Peter In
SMC
2007
IEEE
110views Control Systems» more  SMC 2007»
15 years 11 months ago
A validity index based on cluster symmetry
— An important consideration in clustering is the determination of the correct number of clusters and the appropriate partitioning of a given data set. In this paper, a newly dev...
Sriparna Saha, Sanghamitra Bandyopadhyay
SMC
2007
IEEE
137views Control Systems» more  SMC 2007»
15 years 11 months ago
Cooperative mixed strategy for service selection in service oriented architecture
—In Service Oriented Architecture (SOA), service brokers could find many service providers which offer same function with different quality of service (QoS). Under this condition...
Yimin Shen, Yushun Fan
SMI
2007
IEEE
208views Image Analysis» more  SMI 2007»
15 years 11 months ago
A Partition-of-Unity Based Algorithm for Implicit Surface Reconstruction Using Belief Propagation
In this paper, we propose a new algorithm for the fundamental problem of reconstructing surfaces from a large set of unorganized 3D data points. The local shapes of the surface ar...
Yi-Ling Chen, Shang-Hong Lai
« Prev « First page 2571 / 2941 Last » Next »