Sciweavers

3108 search results - page 246 / 622
» The Elements of Computer Credibility
Sort
View
CSL
2008
Springer
15 years 8 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
ESWS
2008
Springer
15 years 8 months ago
Q2Semantic: A Lightweight Keyword Interface to Semantic Search
The increasing amount of data on the Semantic Web offers opportunities for semantic search. However, formal query hinders the casual users in expressing their information need as t...
Haofen Wang, Kang Zhang, Qiaoling Liu, Thanh Tran,...
DAGSTUHL
2006
15 years 8 months ago
Physical 2D Morphware and Power Reduction Methods for Everyone
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...
Jürgen Becker, Michael Hübner, Katarina ...
IADIS
2004
15 years 8 months ago
Robo-Elc: A Robotic Adaptive Learning Appliance
This article describes a robotic adaptive learning appliance called Robo-eLC. The appliance is the result of a multidisciplinary approach which combines e-Learning and e-Commerce ...
Gaetano La Russa, Esko Marjomaa
ECIS
2003
15 years 8 months ago
Work practice characteristics: a framework for understanding complex issues of groupware integration
Integrating groupware in work practices poses a range of interrelated problems comprising organisational and technological issues. These are complex issues, since they derive from...
Jens Kaaber Pors, Jesper Simonsen