9503 search results - page 359 / 1901 » Authenticated System Calls |
207
click to vote
FAC
2010
15 years 6 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...
209
click to vote
LICS
2010
IEEE
15 years 6 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
173
click to vote
TJS
2010
15 years 6 months ago
2010
In this paper, we propose a context-aware food recommendation system for well-being care applications. The proposed system, called u-BabSang, provides individualized food recommend...
208
click to vote
CVPR
1997
IEEE
16 years 9 months ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...
194
click to vote
PERCOM
2008
ACM
16 years 7 months ago
2008
ACM
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...