Sciweavers

2557 search results - page 177 / 512
» Structures of the Environment in Colonies
Sort
View
ISCAS
2006
IEEE
90views Hardware» more  ISCAS 2006»
14 years 3 months ago
A novel ternary more, less and equality circuit using recharged semi-floating gate devices
— This paper presents a novel Ternary More, Less and Equality (MLE) Circuit implemented with Recharged SemiFloating Gate Transistors. The circuit is a ternary application, and te...
Henning Gundersen, Yngvar Berg
GECCO
2004
Springer
14 years 2 months ago
Evolved Motor Primitives and Sequences in a Hierarchical Recurrent Neural Network
This study describes how complex goal-directed behavior can evolve in a hierarchically organized recurrent neural network controlling a simulated Khepera robot. Different types of ...
Rainer W. Paine, Jun Tani
MOBILWARE
2009
ACM
14 years 2 months ago
Trends in Mobile Application Development
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...
Adrian Holzer, Jan Ondrus
DASFAA
1999
IEEE
74views Database» more  DASFAA 1999»
14 years 1 months ago
Recovery in Distributed Extended Long-lived Transaction Models
This paper addresses the recovery and the rollback problem in distributed collaborative transactions. We propose a solution to the problem in a generalized ARIES [9] framework. We...
M. M. Gore, R. K. Ghosh
TPHOL
1998
IEEE
14 years 1 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel