732 search results - page 21 / 147 » What Is It Like to Be a Rat |
ISMIS
1994
Springer
13 years 11 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
APAL
2006
13 years 7 months ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— What would humans be like if nature had invented the wheel? Golem Krang is a novel humanoid torso designed at Georgia Tech. The robot dynamically transforms from a .5 m
DMTCS
2010
13 years 5 months ago
2010
In a recent paper, Brlek, Jamet and Paquin showed that some extremal infinite smooth words are also infinite Lyndon words. This result raises a natural question: are they the only...
CCR
2011
13 years 2 months ago
2011
Research on networks for challenged environments has become a major research area recently. There is however a lack of true understanding among networking researchers about what s...