10156 search results - page 1849 / 2032 » Step by Step to Histories |
194
click to vote
AIPS
2008
15 years 9 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
181
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
174
click to vote
FAST
2008
15 years 9 months ago
2008
The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect the...
211
click to vote
LISA
2007
15 years 9 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
202
click to vote
LISA
2008
15 years 9 months ago
2008
With the increasing adoption of mobile computing devices that carry confidential data, organizations need to secure data in an ever-changing environment. Critical organizational d...