5325 search results - page 397 / 1065 » Effective Computation for Nonlinear Systems |
200
Voted
ECOOPW
2001
Springer
15 years 11 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
189
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
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...
233
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
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 ...
168
click to vote
HCI
2009
15 years 4 months ago
2009
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...
194
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
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...