11561 search results - page 154 / 2313 » A Language for Biochemical Systems |
166
Voted
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
153
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
181
Voted
NLDB
2010
Springer
15 years 10 months ago
2010
Springer
During the last few years, a lot of researches have focused on automatic definition extraction in the context of question answering systems. Although, these researches have been co...
160
click to vote
SPEECH
2008
15 years 6 months ago
2008
This paper describes a language/accent verification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The two-stage system is ...
144
Voted
KES
2010
Springer
15 years 4 months ago
2010
Springer
In an era that, searching the WWW for information becomes a tedious task, it is obvious that mainly search engines and other data mining mechanisms need to be enhanced with charact...