11561 search results - page 110 / 2313 » A Language for Biochemical Systems |
183
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
133
click to vote
FTEDA
2006
15 years 5 months ago
2006
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
141
click to vote
COLING
1996
15 years 7 months ago
1996
The German joint research project Verbmobil (VM) aims at the deveh)pment of a speech to speech translation system. This paper reports on research done in our group which belongs t...
155
click to vote
HICSS
1997
IEEE
1997
IEEE
Retaining Body Language in Subjective Virtual Environments Using Artifact-Centred Coordinate Systems
15 years 10 months ago
Embodiment and subjectivity are important research issues for collaborative virtual environments. We claim that the direction and distance of an embodiment are the most important ...