Sciweavers

449 search results - page 36 / 90
» More than just shape: a representation for functionality
Sort
View
LPAR
2005
Springer
14 years 2 months ago
Disjunctive Constraint Lambda Calculi
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
Matthias M. Hölzl, John N. Crossley
VLSM
2005
Springer
14 years 2 months ago
A C1 Globally Interpolatory Spline of Arbitrary Topology
Converting point samples and/or triangular meshes to a more compact spline representation for arbitrarily topology is both desirable and necessary for computer vision and computer ...
Ying He 0001, Miao Jin, Xianfeng Gu, Hong Qin
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
14 years 2 months ago
XML Security Using XSLT
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
R. G. Bartlett, M. W. Cook
AAAI
2000
13 years 10 months ago
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
James P. Delgrande, Torsten Schaub
SIGIR
2012
ACM
11 years 11 months ago
Modeling higher-order term dependencies in information retrieval using query hypergraphs
Many of the recent, and more effective, retrieval models have incorporated dependencies between the terms in the query. In this paper, we advance this query representation one st...
Michael Bendersky, W. Bruce Croft