4164 search results - page 672 / 833 » Timing model reduction for hierarchical timing analysis |
200
click to vote
JDCTA
2010
15 years 1 months ago
2010
The purpose of this article is to encourage research on the aspects of consumer behaviour, particularly as found in groups of consumers. For both researchers and practitioners, co...
197
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
The focus of this paper is on how to select a small sample of examples for labeling that can help us to evaluate many different classification models unknown at the time of sampl...
180
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
152
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...
139
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...