2044 search results - page 61 / 409 » System theory for numerical analysis |
134
click to vote
TRS
2008
15 years 3 months ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
141
click to vote
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
Activity theory is based on the concept of tools mediating between subjects and objects. In this theory, an individual's creative interaction with his or her surroundings can ...
132
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
This work presents the first extensive study of singlenode performance optimization, tuning, and analysis of the fast multipole method (FMM) on modern multicore systems. We consid...
181
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
157
click to vote
AAI
2005
15 years 3 months ago
2005
This paper is about people. It is about understanding how learning and communication mutually influence one another; allowing people to infer each other's communicative behavi...