9387 search results - page 329 / 1878 » An Optimal Process Model for a Real Time Process |
164
Voted
KDD
2005
ACM
16 years 6 months ago
2005
ACM
How do real graphs evolve over time? What are "normal" growth patterns in social, technological, and information networks? Many studies have discovered patterns in stati...
160
Voted
SPIN
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
149
click to vote
FCCM
2005
IEEE
15 years 11 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
138
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper, we cast discriminative training problems into standard linear programming (LP) optimization. Besides being convex and having globally optimal solution(s), LP progra...
155
click to vote
ICDM
2009
IEEE
16 years 24 days ago
2009
IEEE
—Triggered by a market relevant application that involves making joint predictions of pedestrian and public transit flows in urban areas, we address the question of how to utili...