Sciweavers

457 search results - page 17 / 92
» Boolean algebras arising from information systems
Sort
View
RSS
2007
151views Robotics» more  RSS 2007»
14 years 11 months ago
An Implicit Time-Stepping Method for Multibody Systems with Intermittent Contact
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...
Nilanjan Chakraborty, Stephen Berard, Srinivas Ake...
ENTCS
2006
174views more  ENTCS 2006»
14 years 9 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
FLAIRS
2003
14 years 11 months ago
A Vector Space Equalization Scheme for a Concept-based Collaborative Information Retrieval System
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
Takashi Yukawa, Sen Yoshida, Kazuhiro Kuwabara
71
Voted
CHI
2010
ACM
15 years 4 months ago
Homeless young people's experiences with information systems: life and work in a community technology center
This paper explores how homeless young people, aged 1325, make use of information systems in daily life. Observed in a community technology center, four different examples of uses...
Jill Palzkill Woelfer, David G. Hendry
DICTA
2003
14 years 11 months ago
3-D Surface Segmentation of Free-Form Objects Using Implicit Algebraic Surfaces
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...
Rachid Benlamri, Yousuf Al-Marzooqi