11561 search results - page 230 / 2313 » A Language for Biochemical Systems |
162
click to vote
GW
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In our paper we present a method for the automatic generation of single German Sign Language glosses from German words. Glosses are often used as a textual description of...
144
click to vote
SOCO
2005
Springer
16 years 4 days ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
187
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
216
click to vote
EWIMT
2004
15 years 8 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
166
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...