22128 search results - page 357 / 4426 » Research in Structural Computing |
114
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
126
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
116
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Recent biological research suggests that reliable, agile climbing on smooth vertical surfaces requires controllable adhesion. In nature, geckos control adhesion by properly loa...
136
click to vote
WADS
2001
Springer
15 years 9 months ago
2001
Springer
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...
130
click to vote
COSIT
1997
Springer
15 years 9 months ago
1997
Springer
It is well-known that route distance estimates are influenced by the structure of the route. In particular, the number of features along the route (e.g. landmarks) and the structu...