Sciweavers

2470 search results - page 76 / 494
» Liveness-Preserving Simulation Relations
Sort
View
CONTEXT
1999
Springer
15 years 4 months ago
The Formal Structure of Ecological Contexts
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
Barry Smith, Achille C. Varzi
100
Voted
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 4 months ago
Preferable Improvements and Changes to FB-DiMM High-Speed Channel for 9.6Gbps Operation
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...
Atsushi Hiraishi, Toshio Sugano, Hideki Kusamitsu
102
Voted
ESANN
2003
15 years 1 months ago
Neural assembly binding in linguistic representation
We present a neural architecture of sentence representation. Words are represented with neural cell assemblies. Relations between words are represented with ‘structure’ assembl...
Frank van der Velde, Marc de Kamps
104
Voted
KI
2006
Springer
15 years 16 days ago
Building Robots with Analogy-Based Anticipation
A new approach to building robots with anticipatory behavior is presented. This approach is based on analogy with a single episode from the past experience of the robot. The AMBR m...
Georgi Petkov, Tchavdar Naydenov, Maurice Grinberg...
100
Voted
TCS
2010
14 years 7 months ago
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
Adam Clarridge, Kai Salomaa