Sciweavers

517 search results - page 64 / 104
» Computing Fuzzy Answer Sets Using dlvhex
Sort
View
ICSE
1997
IEEE-ACM
15 years 1 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson
ACL
2010
14 years 7 months ago
Extraction and Approximation of Numerical Attributes from the Web
We present a novel framework for automated extraction and approximation of numerical object attributes such as height and weight from the Web. Given an object-attribute pair, we d...
Dmitry Davidov, Ari Rappoport
EDBT
2008
ACM
137views Database» more  EDBT 2008»
15 years 9 months ago
Data exchange in the presence of arithmetic comparisons
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
Foto N. Afrati, Chen Li, Vassia Pavlaki
IJCGA
2007
55views more  IJCGA 2007»
14 years 9 months ago
Parabola Separation Queries and their Application to Stone Throwing
Given two sets A and B of m non-intersecting line segments in the plane, we show how to compute in O(m log m) time a data structure that uses O(m) space and allows to answer the fo...
Otfried Cheong, Hazel Everett, Hyo-Sil Kim, Sylvai...
ECSCW
2007
14 years 11 months ago
The Awareness Network: To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?
The concept of awareness has come to play a central role in CSCW research. The coordinative practices of displaying and monitoring have received attention and have led to different...
Cleidson R. B. de Souza, David F. Redmiles