9405 search results - page 474 / 1881 » Computing a Model of Set Theory |
194
click to vote
DIS
2001
Springer
16 years 4 days ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
199
click to vote
SMI
2005
IEEE
16 years 1 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
193
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
198
click to vote
TCIAIG
2010
15 years 2 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
197
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Understanding and exploiting the abilities of the human visual system is an important part of the design of usable user interfaces and information visualizations. Good design enab...