5506 search results - page 786 / 1102 » Minimal Logic Programs |
160
Voted
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper introduces a novel regularization strategy to address the generalization issues for large-margin classifiers from the Empirical Risk Minimization (ERM) perspective. Fi...
138
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We present a method for reconstructing a trajectory of an object moving in front of non-overlapping fully or partially calibrated cameras. The non-overlapping setup turns that pro...
168
click to vote
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
253
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...