9532 search results - page 1818 / 1907 » Logic, Graphs, and Algorithms |
119
click to vote
ANCS
2005
ACM
15 years 4 months ago
2005
ACM
Hash tables provide efficient table implementations, achieving O(1), query, insert and delete operations at low loads. However, at moderate or high loads collisions are quite freq...
102
click to vote
TABLEAUX
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
107
click to vote
ESAS
2004
Springer
15 years 4 months ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
MM
2003
ACM
15 years 4 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...