8874 search results - page 1654 / 1775 » A New Implementation of Automath |
170
click to vote
ISRR
2005
Springer
15 years 9 months 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...
148
click to vote
LCTRTS
2005
Springer
15 years 9 months 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...
124
click to vote
OTM
2005
Springer
15 years 9 months 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...
159
click to vote
VLDB
2005
ACM
15 years 9 months 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...
146
click to vote
WABI
2005
Springer
15 years 9 months 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 ...