Sciweavers

6253 search results - page 1132 / 1251
» Use Case Modeling Guidelines
Sort
View
KDD
2001
ACM
163views Data Mining» more  KDD 2001»
16 years 3 months ago
The "DGX" distribution for mining massive, skewed data
Skewed distributions appear very often in practice. Unfortunately, the traditional Zipf distribution often fails to model them well. In this paper, we propose a new probability di...
Zhiqiang Bi, Christos Faloutsos, Flip Korn
114
Voted
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 10 months ago
MPC for tracking with optimal closed-loop performance
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
Antonio Ferramosca, Daniel Limón, Ignacio A...
117
Voted
STACS
2007
Springer
15 years 9 months ago
Testing Convexity Properties of Tree Colorings
A coloring of a graph is convex if it induces a partition of the vertices into connected subgraphs. Besides being an interesting property from a theoretical point of view, tests f...
Eldar Fischer, Orly Yahalom
132
Voted
SIGECOM
2004
ACM
165views ECommerce» more  SIGECOM 2004»
15 years 9 months ago
Adaptive limited-supply online auctions
We study a limited-supply online auction problem, in which an auctioneer has k goods to sell and bidders arrive and depart dynamically. We suppose that agent valuations are drawn ...
Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Da...
159
Voted
CHARME
2003
Springer
110views Hardware» more  CHARME 2003»
15 years 7 months ago
Exact and Efficient Verification of Parameterized Cache Coherence Protocols
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
E. Allen Emerson, Vineet Kahlon
« Prev « First page 1132 / 1251 Last » Next »