2036 search results - page 148 / 408 » A generic type-and-effect system |
126
click to vote
BCS
2008
15 years 2 months ago
2008
The benefits of reuse have long been recognized in the knowledge engineering community where the dream of creating knowledge-based systems on-the-fly from libraries of reusable co...
BIOSYSTEMS
2007
15 years 28 days ago
2007
The structural organization of biological systems is one of nature’s most fascinating aspects, but its origin and functional role is not yet fully understood. For instance, basi...
108
Voted
ITP
2010
14 years 11 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
111
click to vote
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
It is a challenging task to accurately model the performance of a face recognition system, and to predict its individual recognition results under various environments. This paper...
107
Voted
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Effective security mechanisms are essential to the widespread deployment of pervasive systems. Much of the research focus on security in pervasive computing has revolved around dis...