7167 search results - page 1102 / 1434 » A Technique for Invariant Generation |
176
click to vote
ICDM
2002
IEEE
16 years 16 days ago
2002
IEEE
Mining frequent patterns with an FP-tree avoids costly candidate generation and repeatedly occurrence frequency checking against the support threshold. It therefore achieves bette...
232
click to vote
ICPADS
2002
IEEE
16 years 16 days ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
194
click to vote
ICRA
2002
IEEE
16 years 16 days ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
204
click to vote
IPPS
2002
IEEE
16 years 16 days ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
134
click to vote
ISCAS
2002
IEEE
16 years 16 days ago
2002
IEEE
We present a CMOS circuit that utilizes the back-gate effect to extend the linear range of a subthreshold MOS transconductor. Previous designs of wide-linear-range transconductors...