43264 search results - page 358 / 8653 » Comparing models of computation |
133
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Adaptive microarchitectures are a promising solution for designing high-performance, power-efficient microprocessors. They offer the ability to tailor computational resou...
155
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
126
Voted
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
Coil embolization offers a new approach to treat aneurysms. This medical procedure is namely less invasive than an open-surgery as it relies on the deployment of very thin platinum...
126
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
Buffer insertion method plays a great role in modern VLSI design. Many buffer insertion algorithms have been proposed in recent years. However, most of them used simplified delay ...
134
Voted
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...