3001 search results - page 494 / 601 » Recursive type generativity |
237
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
186
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
198
click to vote
CSFW
2009
IEEE
16 years 23 days ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
177
click to vote
ISCIS
2009
Springer
16 years 17 days ago
2009
Springer
—In this paper, we study how a humanoid robot can learn affordance relations in his environment through its own interactions in an unsupervised way. Specifically, we developed a...
156
click to vote
ICC
2008
IEEE
16 years 14 days ago
2008
IEEE
—One of the major threats to cyber security is the Distributed Denial-of-Service (DDoS) attack. In our previous projects, PacketScore, ALPi, and other statistical filtering-based...