Sciweavers

1469 search results - page 154 / 294
» Structural aspects of tilings
Sort
View
AAAI
2008
15 years 2 months ago
Intelligence in Wikipedia
The Intelligence in Wikipedia project at the University of Washington is combining self-supervised information extraction (IE) techniques with a mixed initiative interface designe...
Daniel S. Weld, Fei Wu 0003, Eytan Adar, Saleema A...
AMAST
2008
Springer
15 years 1 months ago
Explaining Verification Conditions
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
Ewen Denney, Bernd Fischer 0002
ATAL
2008
Springer
15 years 1 months ago
Towards background emotion modeling for embodied virtual agents
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
Luís Morgado, Graça Gaspar
CICLING
2008
Springer
15 years 1 months ago
Sense Annotation in the Penn Discourse Treebank
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
Eleni Miltsakaki, Livio Robaldo, Alan Lee, Aravind...
PAM
2010
Springer
15 years 1 months ago
A Longitudinal View of HTTP Traffic
Abstract. In this paper we analyze three and a half years of HTTP traffic observed at a small research institute to characterize the evolution of various facets of web operation. W...
Tom Callahan, Mark Allman, Vern Paxson