7628 search results - page 118 / 1526 » Automatic Generation of the C |
123
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
133
Voted
IVA
2007
Springer
15 years 10 months ago
2007
Springer
The Text2Dialogue (T2D) system that we are developing allows digital content creators to generate attractive multi-modal dialogues presented by two virtual agents—by simply provi...
118
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a novel approach towards customized and automated generation of sports highlights from its extracted events and semantic concepts. A recorded sports vide...
124
click to vote
EUROPAR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
167
Voted
AAAI
2007
15 years 7 months ago
2007
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...