Sciweavers

517 search results - page 64 / 104
» Computing Fuzzy Answer Sets Using dlvhex
Sort
View
ICSE
1997
IEEE-ACM
14 years 3 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
13 years 9 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»
14 years 11 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»
13 years 11 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 13 days 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