Sciweavers

1837 search results - page 91 / 368
» Abstraction and the C Machine Model
Sort
View
ACL
2006
15 years 6 months ago
Improved Discriminative Bilingual Word Alignment
For many years, statistical machine translation relied on generative models to provide bilingual word alignments. In 2005, several independent efforts showed that discriminative m...
Robert C. Moore, Wen-tau Yih, Andreas Bode
NECO
2007
110views more  NECO 2007»
15 years 4 months ago
Exact Simulation of Integrate-and-Fire Models with Exponential Currents
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...
Romain Brette
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
15 years 10 months ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 2 months ago
A multiplay model for rate-independent and rate-dependent hysteresis with nonlocal memory
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...
Bojana Drincic, Dennis S. Bernstein
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 8 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...