Sciweavers

4004 search results - page 130 / 801
» Selecting an Approach to Designing Group Support Systems
Sort
View
IJCNN
2008
IEEE
16 years 18 days ago
Hybrid learning architecture for unobtrusive infrared tracking support
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
K. K. Kiran Bhagat, Stefan Wermter, Kevin Burn
WACC
1999
ACM
15 years 10 months ago
Supporting the writing of reports in a hierarchical organization
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...
Andreas Girgensohn
ITS
2000
Springer
137views Multimedia» more  ITS 2000»
15 years 9 months ago
Design Principles for a System to Teach Problem Solving by Modelling
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
Gérard Tisseau, Hélène Giroir...
DASFAA
2007
IEEE
165views Database» more  DASFAA 2007»
15 years 10 months ago
Making the Most of Cache Groups
Cache groups are a powerful concept for database caching, which is used to relieve the backend database load and to keep referenced data close to the application programs at the &q...
Andreas Bühmann, Theo Härder
BIRTHDAY
2010
Springer
15 years 6 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka