2911 search results - page 437 / 583 » A Theory of Expressiveness in Mechanisms |
DEXAW
2000
IEEE
15 years 6 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
110
click to vote
DIAGRAMS
2000
Springer
15 years 6 months ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
106
click to vote
APN
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
125
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
115
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...