8874 search results - page 1654 / 1775 » A New Implementation of Automath |
217
click to vote
ISRR
2005
Springer
16 years 13 days ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
210
Voted
LCTRTS
2005
Springer
16 years 13 days ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
178
click to vote
OTM
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
201
Voted
VLDB
2005
ACM
16 years 13 days ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...
198
Voted
WABI
2005
Springer
16 years 13 days ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...