5267 search results - page 968 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
129
click to vote
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
130
Voted
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
125
Voted
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
105
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
106
click to vote
ECTEL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...