8669 search results - page 1402 / 1734 » Computing matrix representations |
128
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
In the research area of automatic web information extraction, there is a need for permanent and annotated web page collections enabling objective performance evaluation of differen...
131
click to vote
STORYTELLING
2007
Springer
15 years 10 months ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
141
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
117
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We discuss the challenges involved in adapting the OntoSem natural language processing system to the Web. One set of tasks involves processing Web documents, translating their ...
148
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...