11561 search results - page 192 / 2313 » A Language for Biochemical Systems |
171
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
154
click to vote
SOFTWARE
2010
15 years 5 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
126
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We present a system for quickly and cheaply building transcribed speech corpora containing utterances from many speakers in a variety of acoustic conditions. The system consists o...
