1354 search results - page 163 / 271 » Generalized real analysis and its applications |
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
112
click to vote
ITP
2010
15 years 2 days ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
AAMAS
2008
Springer
14 years 10 months ago
2008
Springer
Recommender systems have been developed for a wide variety of applications (ranging from books, to holidays, to web pages). These systems have used a number of different approache...
TSE
2010
14 years 8 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
109
click to vote
ICDE
2012
IEEE
13 years 15 days ago
2012
IEEE
—Outlier mining is a major task in data analysis. Outliers are objects that highly deviate from regular objects in their local neighborhood. Density-based outlier ranking methods...