5075 search results - page 442 / 1015 » Model-based interface development |
176
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
We propose a collaborative exploration system that helps users to explore recommendations from various viewpoints. Given ratings and reviews on movies from reviewers, the system p...
152
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
143
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...
161
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A World Wide Web (WWW) based client/server system has been developed which allows server-side process independent layout generators to generate the design rule correct geometry of...
132
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...