Sciweavers

6812 search results - page 1080 / 1363
» Detection of Information Flows
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
TIFS
2008
154views more  TIFS 2008»
15 years 6 months ago
On the Distinguishability of Distance-Bounded Permutations in Ordered Channels
Ordered channels, such as those provided by Internet protocol and transmission control protocol protocols, rely on sequence numbers to recover from packet reordering due to network...
Juan M. Estévez-Tapiador, Julio Césa...
147
Voted
TMI
2008
88views more  TMI 2008»
15 years 6 months ago
Adaptive SPECT
Abstract--Adaptive imaging systems alter their dataacquisition configuration or protocol in response to the image information received. An adaptive pinhole SPECT system might acqui...
Harrison H. Barrett, L. R. Furenlid, M. Freed, J. ...
JEI
2007
176views more  JEI 2007»
15 years 6 months ago
Adaptive techniques for microarray image analysis with related quality assessment
We propose novel techniques for microarray image analysis. In particular, we describe an overall pipeline able to solve the most common problems of microarray image analysis. We pr...
Sebastiano Battiato, Gianpiero di Blasi, Giovanni ...
ESWA
2007
127views more  ESWA 2007»
15 years 6 months ago
An anticipation model of potential customers' purchasing behavior based on clustering analysis and association rules analysis
This paper proposes an anticipation model of potential customers’ purchasing behavior. This model is inferred from past purchasing behavior of loyal customers and the web server...
Horng-Jinh Chang, Lun-Ping Hung, Chia-Ling Ho
« Prev « First page 1080 / 1363 Last » Next »