746 search results - page 148 / 150 » Connectionist Propositional Logic |
148
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
112
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
148
Voted
FPGA
2005
ACM
15 years 8 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
152
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
150
Voted
XPU
2004
Springer
15 years 8 months ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...