6155 search results - page 183 / 1231 » A language for multiple models of computation |
162
click to vote
ISMVL
2007
IEEE
16 years 24 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
171
click to vote
APAL
1998
15 years 6 months ago
1998
A model is computable if its domain is a computable set and its relations and functions are uniformly computable. Let A be a computable model and let R be an extra relation on the ...
144
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Recent approaches to learning structured predictors often require approximate inference for tractability; yet its effects on the learned model are unclear. Meanwhile, most learnin...
156
click to vote
ICTCS
2005
Springer
16 years 1 days ago
2005
Springer
We consider the fundamental problem of waking up n processors sharing a multiple access channel. We assume the weakest model of synchronization, the locally synchronous model, in ...
214
click to vote
IBPRIA
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...