Sciweavers

1929 search results - page 205 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 8 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
CSCW
1998
ACM
15 years 8 months ago
Using Filtering Agents to Improve Prediction Quality in the GroupLens Research Collaborative Filtering System
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
Badrul M. Sarwar, Joseph A. Konstan, Al Borchers, ...
153
Voted
CHI
2004
ACM
16 years 4 months ago
Automatic support for web user studies with SCONE and TEA
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...
Hartmut Obendorf, Harald Weinreich, Torsten Hass
ICMCS
1994
IEEE
147views Multimedia» more  ICMCS 1994»
15 years 8 months ago
Supporting Temporal Multimedia Operations in Object-Oriented Database Systems
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
Karl Aberer, Wolfgang Klas
JUCS
2008
125views more  JUCS 2008»
15 years 4 months ago
Evaluation of Agent-based Interactive Systems: Proposal of an Electronic Informer Using Petri Nets
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
Chi Dung Tran, Houcine Ezzedine, Christophe Kolski