2713 search results - page 226 / 543 » Parameterized Tree Systems |
135
Voted
IGPL
2010
15 years 3 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
124
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
– This paper presents a method for designing classifier to automate an evaluation process of protein crystallization growth states. The classifier is designed by binary decision ...
138
Voted
EUC
2005
Springer
15 years 10 months ago
2005
Springer
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
133
Voted
STACS
2001
Springer
15 years 9 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
173
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...