Sciweavers

3185 search results - page 218 / 637
» Domain and language evaluation results
Sort
View
PERVASIVE
2010
Springer
15 years 8 months ago
Specification and Verification of Complex Location Events with Panoramic
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
Evan Welbourne, Magdalena Balazinska, Gaetano Borr...
COMPSAC
2002
IEEE
15 years 11 months ago
Understanding SQL through Iconic Interfaces
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
Lerina Aversano, Gerardo Canfora, Andrea De Lucia,...
CAV
2006
Springer
146views Hardware» more  CAV 2006»
15 years 10 months ago
Termination Analysis with Calling Context Graphs
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
Panagiotis Manolios, Daron Vroon
SIGIR
2010
ACM
15 years 10 months ago
Spatial relationships in visual graph modeling for image categorization
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two diļ...
Trong-Ton Pham, Philippe Mulhem, Loïc Maisonn...
FLAIRS
2009
15 years 4 months ago
Expanding a Catalogue of Deceptive Linguistic Features with NLP Technologies
We evaluate conversational transcripts of deceptive speech using a sophisticated natural language processing tool called Coh-Metrix. Coh-Metrix is unique in that it tracks linguis...
Nicholas D. Duran, Scott A. Crossley, Charles Hall...