Sciweavers

168 search results - page 19 / 34
» Nominal System T
Sort
View
EURODAC
1994
IEEE
122views VHDL» more  EURODAC 1994»
13 years 11 months ago
Compiled-code-based simulation with timing verification
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
Winfried Hahn, Andreas Hagerer, C. Herrmann
DGO
2008
128views Education» more  DGO 2008»
13 years 9 months ago
Ontology generation for large email collections
This paper presents a new approach to identifying concepts expressed in a collection of email messages, and organizing them into an ontology or taxonomy for browsing. It incorpora...
Hui Yang, Jamie Callan
ACL
2006
13 years 9 months ago
Factorizing Complex Models: A Case Study in Mention Detection
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
Radu Florian, Hongyan Jing, Nanda Kambhatla, Imed ...
ICASSP
2010
IEEE
13 years 7 months ago
Finding emotionally involved speech using implicitly proximity-annotated laughter
Browsing through collections of audio recordings of conversation nominally relies on the processing of participants’ lexical productions. The evolving verbal and non-verbal cont...
Kornel Laskowski
LOGCOM
2008
97views more  LOGCOM 2008»
13 years 7 months ago
One-and-a-halfth-order Logic
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
Murdoch James Gabbay, Aad Mathijssen