11561 search results - page 295 / 2313 » A Language for Biochemical Systems |
164
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
162
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
175
click to vote
SYRCODIS
2008
15 years 8 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
157
click to vote
BXML
2004
15 years 8 months ago
2004
We present a VoiceXML-based spokenlanguage front-end for a multilingual music database. The multilingual setting poses new and unsolved challenges for the speech components and th...
199
click to vote
ANLP
2000
15 years 8 months ago
2000
We have developed a word sense disambiguation algorithm, following Cheng and Wilensky (1997), to disambiguate among WordNet synsets. This algorithm is to be used in a cross-langua...