Sciweavers

5722 search results - page 7 / 1145
» Dynamic inference control
Sort
View
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 29 days ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
EMNLP
2009
15 years 25 days ago
Feature-Rich Translation by Quasi-Synchronous Lattice Parsing
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
Kevin Gimpel, Noah A. Smith
JSAC
2011
167views more  JSAC 2011»
14 years 10 months ago
Decentralized Cognitive Radio Control Based on Inference from Primary Link Control Information
This work on cognitive radio access ventures beyond the more traditional “listen-before-talk” paradigm that underlies many cognitive radio access proposals. We exploit the bi-...
Senhua Huang, Xin Liu, Zhi Ding
ESSMAC
2003
Springer
15 years 8 months ago
Hex: Dynamics and Probabilistic Text Entry
We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model. Text is represent...
John Williamson, Roderick Murray-Smith