9532 search results - page 371 / 1907 » Logic, Graphs, and Algorithms |
169
click to vote
COLING
1994
15 years 8 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
173
click to vote
GD
2004
Springer
16 years 4 days ago
2004
Springer
It has been noted that many realistic graphs have a power law degree distribution and exhibit the small world phenomenon. We present drawing methods influenced by recent developm...
153
Voted
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run...
198
click to vote
IEAAIE
2004
Springer
16 years 4 days ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
157
click to vote
AIIA
2003
Springer
16 years 2 hour ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...