Sciweavers

5234 search results - page 166 / 1047
» Method Components - Rationale Revealed
Sort
View
KBSE
2000
IEEE
15 years 7 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
122
Voted
PTS
2008
98views Hardware» more  PTS 2008»
15 years 4 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
129
Voted
NIPS
2007
15 years 4 months ago
Sparse Overcomplete Latent Variable Decomposition of Counts Data
An important problem in many fields is the analysis of counts data to extract meaningful latent components. Methods like Probabilistic Latent Semantic Analysis (PLSA) and Latent ...
Madhusudana V. S. Shashanka, Bhiksha Raj, Paris Sm...
CCECE
2006
IEEE
15 years 9 months ago
Software Architecture with Visual Frameworks
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...
Paul Tarvydas, Norm Sanford
ICIP
2008
IEEE
15 years 9 months ago
Image representation by compressed sensing
This paper addresses the image representation problem in visual sensor networks. We propose a new image representation scheme based on compressive sensing (CS) because compressive...
Bing Han, Feng Wu, Dapeng Wu