Sciweavers

1252 search results - page 53 / 251
» Foundations of Similarity and Utility
Sort
View
ICCS
2005
Springer
14 years 1 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
FLOPS
1999
Springer
13 years 12 months ago
An Interval Lattice-Based Constraint Solving Framework for Lattices
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
Antonio J. Fernández, Patricia M. Hill
KR
1998
Springer
13 years 12 months ago
What Robots Can Do
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
Hector J. Levesque
CHI
1994
ACM
13 years 11 months ago
Form-giving: expressing the nonobvious
The design of richly informative interfaces would benefit from an account of how visual forms convey information. In this paper we suggest that the study of form-giving in Industr...
Gerda Smets, Kees Overbeeke, William W. Gaver
ATC
2006
Springer
13 years 11 months ago
TOBAB: A Trend-Oriented Bandwidth Adaptive Buffering in Peer-to-Peer Streaming System
Multimedia streaming application is increasingly popular. P2P mode makes it much more suitable for large-scale users to participate into one single application. However, most effor...
Sirui Yang, Hai Jin, Xuping Tu