Sciweavers

1054 search results - page 155 / 211
» From a Verified Kernel towards Verified Systems
Sort
View
NPAR
2010
ACM
15 years 11 months ago
Sisley the abstract painter
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
Mingtian Zhao, Song Chun Zhu
CRV
2008
IEEE
192views Robotics» more  CRV 2008»
16 years 18 days ago
Realtime Visualization of Monocular Data for 3D Reconstruction
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
Adam Rachmielowski, Neil Birkbeck, Martin Jäg...
LREC
2008
95views Education» more  LREC 2008»
15 years 7 months ago
Application of Resource-based Machine Translation to Real Business Scenes
As huge quantities of documents have become available, services using natural language processing technologies trained by huge corpora have emerged, such as information retrieval ...
Hitoshi Isahara, Masao Utiyama, Eiko Yamamoto, Aki...
CI
2000
134views more  CI 2000»
15 years 6 months ago
Choosing Rhetorical Structures to Plan Instructional Texts
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
Leila Kosseim, Guy Lapalme
SEDE
2010
15 years 4 months ago
Security Controls Applied to Web Service Architectures
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
Robert Baird, Rose F. Gamble