2124 search results - page 153 / 425 » Aggregating time partitions |
138
click to vote
EMNLP
2010
15 years 2 months ago
2010
We present three novel methods of compactly storing very large n-gram language models. These methods use substantially less space than all known approaches and allow n-gram probab...
150
click to vote
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
146
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...
169
click to vote
ICCD
2006
IEEE
16 years 27 days ago
2006
IEEE
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
142
Voted
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing a collaborative architecture for real-time applications is an intricate challenge that usually involves dealing with the real-time constraints, resource limitations and ...