139 search results - page 16 / 28 » Modular difference logic is hard |
IWPC
2005
IEEE
15 years 3 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
AAAI
1998
14 years 11 months ago
1998
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
68
Voted
HF
2007
14 years 9 months ago
2007
When people do an easy task, and another person is nearby, they tend to do that task better than when they are alone. Conversely, when people do a hard task, and another person is...
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
SACMAT
2003
ACM
15 years 2 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...