5804 search results - page 260 / 1161 » Doing more with less |
152
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
173
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Horizontally partitioned data caches are a popular architectural feature in which the processor maintains two or more data caches at the same level of hierarchy. Horizontally part...
175
click to vote
ACSW
2007
15 years 8 months ago
2007
In ACISP 2006, Peng et al proposed a novel range test technique, which tests whether the integer encrypted in a ciphertext is in an interval range. Their solution is more efficien...
163
click to vote
EDM
2010
15 years 8 months ago
2010
We study how student behaviors associated with disengagement differ between different school settings. Towards this, we investigate the variation in the frequency of off-task behav...
169
click to vote
COLING
2008
15 years 8 months ago
2008
In this paper, we describe a new reranking strategy named word lattice reranking, for the task of joint Chinese word segmentation and part-of-speech (POS) tagging. As a derivation...