897 search results - page 119 / 180 » Identity: How to name it, How to find it |
136
click to vote
BC
2005
15 years 1 months ago
2005
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...
113
Voted
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
119
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
221
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Web pages include extraneous material that may be viewed as undesirable by a user. Increasingly many Web sites also require users to register to access either all or portions of t...