Sciweavers

2596 search results - page 226 / 520
» Gradual Typing for Objects
Sort
View
CIKM
2007
Springer
15 years 10 months ago
Shine: search heterogeneous interrelated entities
Heterogeneous entities or objects are very common and are usually interrelated with each other in many scenarios. For example, typical Web search activities involve multiple types...
Xuanhui Wang, Jian-Tao Sun, Zheng Chen
ML
2006
ACM
103views Machine Learning» more  ML 2006»
15 years 10 months ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
BCSHCI
2009
15 years 5 months ago
An exploratory study of tag-based visual interfaces for searching folksonomies
Aesthetic features such as animation, 3D interaction, and visual metaphors are becoming commonplace in multimedia search interfaces. However, it is unclear which attributes are ne...
Javier Diaz, Keyun Hu, Melanie Tory
VISUALIZATION
2005
IEEE
15 years 10 months ago
Topology-driven Surface Mappings with Robust Feature Alignment
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
Christopher Carner, Miao Jin, Xianfeng Gu, Hong Qi...
KDD
2005
ACM
137views Data Mining» more  KDD 2005»
16 years 4 months ago
A generalized framework for mining spatio-temporal patterns in scientific data
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
Hui Yang, Srinivasan Parthasarathy, Sameep Mehta