Sciweavers

5325 search results - page 397 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
200
Voted
ECOOPW
2001
Springer
15 years 11 months ago
Adaptive Object-Models and Metamodeling Techniques
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
Nicolas Revault, Joseph W. Yoder
CHI
1996
ACM
15 years 11 months ago
Workspace Awareness for Groupware
Shared physical workspaces allow people to maintain upto-the minute knowledge about others' interaction with the workspace. This knowledge is workspace awareness, part of the...
Carl Gutwin, Saul Greenberg
TGC
2010
Springer
15 years 4 months ago
The Impact of Altruism on the Efficiency of Atomic Congestion Games
We study the effect of combining selfishness and altruism in atomic congestion games. We allow players to be partially altruistic and partially selfish and determine the impact of ...
Ioannis Caragiannis, Christos Kaklamanis, Panagiot...
HCI
2009
15 years 4 months ago
Visual Data Mining in Immersive Virtual Environment Based on 4K Stereo Images
In this study, super high-definition immersive visual data mining environment using 4K stereo projector was developed. In this system, data can be represented with high accuracy in...
Tetsuro Ogi, Yoshisuke Tateyama, So Sato
CADE
2005
Springer
16 years 7 months ago
A Proof-Producing Decision Procedure for Real Arithmetic
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
Sean McLaughlin, John Harrison