2702 search results - page 368 / 541 » Practically Applicable Formal Methods |
214
Voted
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Recently, the skyline computation and analysis have been extended from one single full space to multidimensional subspaces, which can lead to valuable insights in some application...
122
Voted
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
102
click to vote
SIGECOM
2009
ACM
15 years 9 months ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
103
click to vote
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract ⎯ Currently, the most advanced framework for stochastic network calculus is the min-plus algebra, providing bounds for the end-to-end delay in networks. The bounds calcu...
125
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...