4353 search results - page 248 / 871 » Expressiveness of Process Algebras |
195
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
168
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
167
click to vote
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
—A novel wake-sleep learning architecture for processing a robot’s facial expressions is introduced. According to neuroscience evidence, associative learning of emotional respo...
201
click to vote
PPSC
1989
15 years 7 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
171
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper introduces a high-speed vision system called IDP Express, which can execute real-time image processing and high frame rate video recording simultaneously. In IDP Expr...