1127 search results - page 204 / 226 » Theory Extension in ACL2(r) |
82
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
103
Voted
HASKELL
2008
ACM
15 years 1 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
125
Voted
DAC
2010
ACM
15 years 25 days ago
2010
ACM
Decoupling capacitor (decap) placement has been widely adopted as an effective way to suppress dynamic power supply noise. Traditional decap budgeting algorithms usually explore t...
103
Voted
SIGMOD
2010
ACM
15 years 24 days ago
2010
ACM
Schema evolution is an unavoidable consequence of the application development lifecycle. The two primary schemas in an application, the client conceptual object model and the pers...
122
Voted
HICSS
2008
IEEE
15 years 22 days ago
2008
IEEE
Telehealth innovations promise to provide extensive medical benefits by increasing access to healthcare services and lowering costs at the same time. However, while many telehealt...