2913 search results - page 422 / 583 » How Much to Copy |
137
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
117
click to vote
SDE
1991
15 years 7 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
122
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
128
Voted
GREC
2009
Springer
15 years 6 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
129
Voted
AAAI
2007
15 years 5 months ago
2007
In auction theory, agents are typically presumed to have perfect knowledge of their valuations. In practice, though, they may face barriers to this knowledge due to transaction co...