Sciweavers

3623 search results - page 261 / 725
» Functionally Modeled User Interfaces
Sort
View
161
Voted
WETICE
2005
IEEE
15 years 12 months ago
CAFE - Collaborative Agents for Filtering E-mails
CAFE (Collaborative Agents for Filtering E-mails) is a multi-agent system to collaboratively filter spam from users’ mail stream. CAFE associates a proxy agent with each user, a...
Lorenzo Lazzari, Marco Mari, Agostino Poggi
TACAS
2004
Springer
127views Algorithms» more  TACAS 2004»
15 years 11 months ago
MetaGame: An Animation Tool for Model-Checking Games
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
Markus Müller-Olm, Haiseung Yoo
3DIM
2005
IEEE
15 years 12 months ago
Virtual Clay Modeling System Using Multi-Viewpoint Images
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
Etsuko Ueda, Yoshio Matsumoto, Tsukasa Ogasawara
APSEC
2002
IEEE
15 years 11 months ago
Integrating Use-Case Analysis and Task Analysis for Interactive Systems
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
Soon-Kyeong Kim, David A. Carrington
VMV
2008
197views Visualization» more  VMV 2008»
15 years 7 months ago
1-2-tree: Semantic Modeling and Editing of Trees
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
Björn Ganster, Reinhard Klein