9405 search results - page 306 / 1881 » Computing a Model of Set Theory |
135
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
122
click to vote
RAS
2006
15 years 4 months ago
2006
According to the motor theories of perception, the motor systems of an observer are actively involved in the perception of actions when these are performed by a demonstrator. In t...
169
click to vote
LPNMR
1993
Springer
15 years 9 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
140
click to vote
WSCG
2001
15 years 6 months ago
2001
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
134
click to vote
ICIS
2003
15 years 6 months ago
2003
Revelation policies in an e-marketplace differ in terms of the level of competitive information disseminated to participating sellers. Since sellers who repeatedly compete against...