9507 search results - page 1522 / 1902 » Time-based language models |
214
click to vote
GSEM
2004
Springer
16 years 5 days ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
201
click to vote
WADT
2004
Springer
16 years 3 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
181
click to vote
DOCENG
2003
ACM
16 years 1 days ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
239
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
189
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...