3229 search results - page 118 / 646 » Mixing |
128
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
99
Voted
CAEPIA
2007
Springer
15 years 7 months ago
2007
Springer
There exist various narrative systems, focused on different parts of the complex process of story generation. Some of them are oriented to content planning, and some other to sent...
47
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
77
Voted
CTRSA
2007
Springer
15 years 6 months ago
2007
Springer
94
Voted
ERCIMDL
2007
Springer
15 years 6 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...